著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Julliand, Jacques and Kouchnarenko, Olga and International Conference of B and Z Users","B 2007: formal specification and development in B : 7th International Conference of B Users, Besançon, France, January 17-19, 2007 proceedings",,Springer,2006,Lecture notes in computer science,,9783540687603,,https://cir.nii.ac.jp/crid/1130000796388036992