著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"FOSSACS and Ong, Luke","Foundations of software science and computational structures : 13th International Conference, FOSSACS 2010, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20 - 28, 2010 proceedings",,"Springer,",2010,Lecture notes in computer science,,9783642120312,,https://cir.nii.ac.jp/crid/1130000795288240896