000 00226nam a2200097Ia 4500
008 240711s9999||||xx |||||||||||||| ||und||
020 _a9780262546232
100 _a K. Rustan M. Leino
245 0 _aProgram Proofs
260 _bMIT
999 _c15808
_d15808