Back, R. R. (1980). Proving total correctness of nondeterministic programs in infinitary logic (Preprint.).
Chicago-Zitierstil (17. Ausg.)Back, Ralph-Johan R. Proving Total Correctness of Nondeterministic Programs in Infinitary Logic. Preprint. Amsterdam, 1980.
MLA-Zitierstil (9. Ausg.)Back, Ralph-Johan R. Proving Total Correctness of Nondeterministic Programs in Infinitary Logic. Preprint. 1980.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.