著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"International Workshop on Formal Methods in Software Development and Association for Computing Machinery and ACM Sigsoft and Moriconi, Mark","Proceedings of the ACM SIGSOFT, International Workshop on Formal Methods in Software Development, Napa, California, USA, 9-11 May 1990",,Association for Computing Machinery,1990,ACM SIGSOFT software engineering notes,,0897914155,,https://cir.nii.ac.jp/crid/1130282270284105728