著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"ASM and Zimmermann, Wolf and Thalheim, B. (Bernhard)","Abstract state machines 2004 : advances in theory and practice : 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004 : proceedings",,Springer,2004,Lecture notes in computer science,,3540220941,,https://cir.nii.ac.jp/crid/1130000794458005248