Cita APA (7a ed.)

(1992). Formal methods in system design. Kluwer Academic Publishers.

Cita Chicago Style (17a ed.)

Formal Methods in System Design. Netherlands: Kluwer Academic Publishers, 1992.

Cita MLA (9a ed.)

Formal Methods in System Design. Kluwer Academic Publishers, 1992.