(1993). Logic and algebra of specification: [proceedings of the NATO Advanced Study Institute on Logic and Algebra of Specification, held in Marktoberdorf, Germany, July 23 - August 4, 1991]. Springer.
Chicago-Zitierstil (17. Ausg.)Logic and Algebra of Specification: [proceedings of the NATO Advanced Study Institute on Logic and Algebra of Specification, Held in Marktoberdorf, Germany, July 23 - August 4, 1991]. Berlin [u.a.]: Springer, 1993.
MLA-Zitierstil (9. Ausg.)Logic and Algebra of Specification: [proceedings of the NATO Advanced Study Institute on Logic and Algebra of Specification, Held in Marktoberdorf, Germany, July 23 - August 4, 1991]. Springer, 1993.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.