著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"FOSSACS and Honsell, Furio and Miculan, Marino and European Conferences on Theory and Practice of Software","Foundations of software science and computation structures : 4th International Conference, FOSSACS 2001, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings",,Springer,2001,Lecture notes in computer science,,3540418644,,https://cir.nii.ac.jp/crid/1130000794408888576