著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"IFIP TC5/WG5.2 Workshop on Formal Design Methods for CAD and Gero, John S. (John Steven) and Tyugu, Ė. Kh. (Ėnn Kharalʹdovich)","Formal design methods for CAD : proceedings of the IFIP TC5/WG5.2 Workshop on Formal Design Methods for CAD, Tallinn, Estonia, 16-19 June, 1994",,Elsevier,1994,IFIP transactions,,0444819703,,https://cir.nii.ac.jp/crid/1130282271530816640