Vuillemin, J. E. (1974). Proof techniques for recursive programs.
Chicago-Zitierstil (17. Ausg.)Vuillemin, Jean Etienne. Proof Techniques for Recursive Programs. 1974.
MLA-Zitierstil (9. Ausg.)Vuillemin, Jean Etienne. Proof Techniques for Recursive Programs. 1974.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.