Title: Machine assisted proofs of recursion implementation
First published: 1979
Subjects: Edinburgh LCF (Computer system), Testing, Computer programs