Cita APA (7a ed.)

Moriconi, M. (1990). Conference proceedings on formal methods in software development. ACM.

Cita Chicago Style (17a ed.)

Moriconi, Mark. Conference Proceedings on Formal Methods in Software Development. [Place of publication not identified]: ACM, 1990.

Cita MLA (9a ed.)

Moriconi, Mark. Conference Proceedings on Formal Methods in Software Development. ACM, 1990.