著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"FOSSACS and Sassone, Vladimiro and European Conferences on Theory and Practice of Software","Foundations of software science and computation structures : 8th International Conference, FOSSACS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings",,Springer,2005,Lecture notes in computer science,,3540253882,,https://cir.nii.ac.jp/crid/1130282268869392128