Fernando, R. T. (1992). Provably recursive programs.
Chicago-Zitierstil (17. Ausg.)Fernando, R. T. Provably Recursive Programs. Amsterdam, 1992.
MLA-Zitierstil (9. Ausg.)Fernando, R. T. Provably Recursive Programs. 1992.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.