Hints on Proofs by Recursion Induction

Michael Brady. Hints on Proofs by Recursion Induction. Comput. J., 20(4):353-355, 1977.

Abstract

Abstract is missing.