Machine Assisted Proofs of Recursion Implementation (1979)

by A Cohn