Bergstra, J. A., & Tucker, J. V. (1980). The field of algebraic numbers fails to possess even a nice sound, if relatively incomplete, Hoare-like logic for its while-programs (Preprint.).
Chicago-Zitierstil (17. Ausg.)Bergstra, Jan A., und John V. Tucker. The Field of Algebraic Numbers Fails to Possess Even a Nice Sound, If Relatively Incomplete, Hoare-like Logic for Its While-programs. Preprint. Amsterdam, 1980.
MLA-Zitierstil (9. Ausg.)Bergstra, Jan A., und John V. Tucker. The Field of Algebraic Numbers Fails to Possess Even a Nice Sound, If Relatively Incomplete, Hoare-like Logic for Its While-programs. Preprint. 1980.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.