Cita APA (7a ed.)

Não informado. (2001). Formal Methods in Systems Design. Kluwer Academic Publishers.

Cita Chicago Style (17a ed.)

Não informado. Formal Methods in Systems Design. Boston, Mass: Kluwer Academic Publishers, 2001.

Cita MLA (8a ed.)

Não informado. Formal Methods in Systems Design. Kluwer Academic Publishers, 2001.

Precaución: Estas citas no son 100% exactas.