Foundational proof-carrying code (2001)

by A W Appel
Venue:Logic in Computer Science