(1997). Deductive hardware design: A functional approach. Inst. für Informatik.
Chicago-Zitierstil (17. Ausg.)Deductive Hardware Design: A Functional Approach. Augsburg: Inst. für Informatik, 1997.
MLA-Zitierstil (9. Ausg.)Deductive Hardware Design: A Functional Approach. Inst. für Informatik, 1997.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.