A Formal Approach to Practical Software Verification - Radu Iosif; The Pennsylvania State University CiteSeerX Archives (http://www.dai-arc.polito.it/dai-arc/manual/tools/yav/phd2000.ps.gz, 2000)