James C. King Prospects for Program Verification (Tutorial). 71 1978 ICSE db/conf/icse/icse78.html#King78