著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Berg, H. K. (Helmut K.) and Giloi, Wolfgang","The Use of formal specification of software : June 25-27, 1979, Berlin",,Springer-Verlag,1980,Informatik-Fachberichte,,"3540104429,0387104429",,https://cir.nii.ac.jp/crid/1130000796738798976