Deutsch L.P. An interactive program verifier, Ph.D. thesis, University of California?Berkeley, 1973

Languages mentioned

• PIVOT {1971} Program verification
• PIVOT Input language {1973} INput language for the PIVOT theorem prover