著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Berghammer, Rudolf and Möller, Bernhard and Struth, Georg and RelMiCS and International Workshop on Applications of Kleene Algebra","Relational and Kleene-Algebraic methods in computer science : 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003 : revised selected papers",,Springer,2004,Lecture notes in computer science,,354022145X,,https://cir.nii.ac.jp/crid/1130282269527541760