Não informado. (2001). Formal Methods in Systems Design. Kluwer Academic Publishers.
Citação do estilo Chicago (17ª ed.)Não informado. Formal Methods in Systems Design. Boston, Mass: Kluwer Academic Publishers, 2001.
Citação MLA (8ª ed.)Não informado. Formal Methods in Systems Design. Kluwer Academic Publishers, 2001.
Opozorilo: Ti citati niso vedno 100% točni.