Não informado. (2001). Formal Methods in Systems Design. Kluwer Academic Publishers.
Chicago-Zitierstil (17. Ausg.)Não informado. Formal Methods in Systems Design. Boston, Mass: Kluwer Academic Publishers, 2001.
MLA-Zitierstil (8. Ausg.)Não informado. Formal Methods in Systems Design. Kluwer Academic Publishers, 2001.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.