Leino, K. Rustan M. (1995) Toward reliable modular programs (Dissertation (Ph.D)), California Institute of Technology doi: 10.7907/ynt2-nn65
