The PFORT Verifier," Software Practice and Experience 4 (1974)

by B G Ryder