Efficient Code Certification. Cornell University (1998)

by Dexter Kozen