Hennessy, M. C. (1984). Proving systolic systems correct.
Chicago-Zitierstil (17. Ausg.)Hennessy, Matthew C. Proving Systolic Systems Correct. Edinburgh, 1984.
MLA-Zitierstil (9. Ausg.)Hennessy, Matthew C. Proving Systolic Systems Correct. 1984.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.