Deutsch L. P. An interactive program verifier, Xerox Palo Alto Research Center Report CSL-73-1, May 1973.

Languages mentioned

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