Ryder, B. G. and Hall, A. D. "The PFORT Verifier," Bell Laboratories Computer Science Technical Report No. 12, March 1975

Languages mentioned

• PFORT {1975}