Proof-Carrying Code (1997)

by George C. Necula