著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"International Joint Conference on Theory and Practice of Software Development and Gaudel, M.-C. (Marie-Claude) and Jouannaud, Jean-Pierre and Colloquium on Trees in Algebra and Programming and Colloquium on Formal Approaches of Software Engineering","TAPSOFT '93 : theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : proceedings",,Springer-Verlag,1993,Lecture notes in computer science,,"3540566104,0387566104",,https://cir.nii.ac.jp/crid/1130000794114658304