E cient code certi cation (1998)

by Dexter Kozen