A Verification Condition Generator for Fortran (1981)

by R S Boyer, J S Moore
Venue:The Correctness Problem in Computer Science