Moriconi, M. (Hrsg.). [ca. 1990]. Proceedings of the ACM SIGSOFT international workshop on formal methods in software development [Book]. Gehalten auf der International Workshop on Formal Methods in Software Development, Napa, Calif.
ISO-690 (author-date, English)MORICONI, Mark (Hrsg.). [book]. 1990. New York: ACM. ISBN 0897914155.
Modern Language Association 9th editionMoriconi, M., Herausgeber. „Proceedings of the ACM SIGSOFT international workshop on formal methods in software development“. Software engineering notes, book, ACM, 1990.
Mohr Siebeck - Recht (Deutsch - Österreich)Emerald - Harvard
Moriconi, M. (Hrsg.). (1990), „Proceedings of the ACM SIGSOFT international workshop on formal methods in software development“, Software engineering notes, gehalten auf der International Workshop on Formal Methods in Software Development, ACM, New York.