(2000). Cafe: An industrial-strength algebraic formal method. Elsevier.
Chicago-Zitierstil (17. Ausg.)Cafe: An Industrial-strength Algebraic Formal Method. Amsterdam New York: Elsevier, 2000.
MLA-Zitierstil (9. Ausg.)Cafe: An Industrial-strength Algebraic Formal Method. Elsevier, 2000.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.