Citação APA (7ª ed.)

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.

Attenzione: Queste citazioni potrebbero non essere precise al 100%.