James H. Fetzer Program Verification: The Very Idea. 1048-1063 1988 31 Commun. ACM 9 db/journals/cacm/cacm31.html#Fetzer88 http://doi.acm.org/10.1145/48529.48530