著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Bernardo, Marco and Inverardi, Paola and International School on Formal Methods for the Design of Computer, Communication and Software Systems","Formal methods for software architectures : third International School on Formal Methods for the Design of Computer, Communication, and Software Systems : Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003 : advanced lectures",,Springer,2003,Lecture notes in computer science,,3540200835,,https://cir.nii.ac.jp/crid/1130000796089305728