TY  - BOOK
AU  -  K. Rustan M. Leino
TI  - Program Proofs
SN  - 9780262546232
PB  - MIT
ER  -