Não informado. (2001). Formal Methods in Systems Design. Kluwer Academic Publishers.
Čikaški stil citiranja (17. izdanje)Não informado. Formal Methods in Systems Design. Boston, Mass: Kluwer Academic Publishers, 2001.
MLA način citiranja (8. izdanje)Não informado. Formal Methods in Systems Design. Kluwer Academic Publishers, 2001.
Upozorenje: Ovi citati možda nisu uvijek 100% točni.