APA stil citiranja

Moriconi, M. (1990). Proceedings of the ACM SIGSOFT international workshop on formal methods in software development: Proceedings of the ACM SIGSOFT international workshop on formal methods in software development : NAPA, CALIFORNIA, USA, 9-11 MAY 1990 (1. izd.). New York: ACM,Inc.

Chicago stil citiranja

Moriconi, Mark. Proceedings of the ACM SIGSOFT international workshop on formal methods in software development: Proceedings of the ACM SIGSOFT international workshop on formal methods in software development : NAPA, CALIFORNIA, USA, 9-11 MAY 1990. 1. izd. New York: ACM,Inc, 1990.

MLA stil citiranja

Moriconi, Mark. Proceedings of the ACM SIGSOFT international workshop on formal methods in software development: Proceedings of the ACM SIGSOFT international workshop on formal methods in software development : NAPA, CALIFORNIA, USA, 9-11 MAY 1990. 1. izd. New York: ACM,Inc, 1990.