Proof Techniques for Recursive Programs (1973)

by J Vuillemin