(1983). The correctness problem in computer science (2. print.). Acad. Pr.
Chicago-Zitierstil (17. Ausg.)The Correctness Problem in Computer Science. 2. print. London (u.a.): Acad. Pr, 1983.
MLA-Zitierstil (9. Ausg.)The Correctness Problem in Computer Science. 2. print. Acad. Pr, 1983.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.