Back, R. R. (1980). Correctness of explicitly specified procedures (Preprint.).
Chicago-Zitierstil (17. Ausg.)Back, Ralph-Johan R. Correctness of Explicitly Specified Procedures. Preprint. Amsterdam, 1980.
MLA-Zitierstil (9. Ausg.)Back, Ralph-Johan R. Correctness of Explicitly Specified Procedures. Preprint. 1980.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.