著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Boer, Frank S. de and Bonsangue, Marcello M. and Graf, Susanne and Roever, W.-P. de and FMCO","Formal methods for components and objects : 4th international symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, revised lectures",,Springer,2006,Lecture notes in computer science,,3540367497,,https://cir.nii.ac.jp/crid/1130000796258940416