Howe, D. J. (1986). Implementing number theory: An experiment with Nuprl.
Chicago-Zitierstil (17. Ausg.)Howe, Douglas J. Implementing Number Theory: An Experiment with Nuprl. Ithaca, New York, 1986.
MLA-Zitierstil (9. Ausg.)Howe, Douglas J. Implementing Number Theory: An Experiment with Nuprl. 1986.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.