A syntactic approach to foundational proof-carrying code
scientific article; zbMATH DE number 2081538