Não informado. (2001). Formal Methods in Systems Design. Kluwer Academic Publishers.
Style de citation Chicago (17e éd.)Não informado. Formal Methods in Systems Design. Boston, Mass: Kluwer Academic Publishers, 2001.
Style de citation MLA (8e éd.)Não informado. Formal Methods in Systems Design. Kluwer Academic Publishers, 2001.
Attention : ces citations peuvent ne pas être correctes à 100%.