著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"WADT and Parisi Presicce, Francesco","Recent trends in algebraic development techniques : 12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997 : selected papers",,Springer,1998,Lecture notes in computer science,,3540642994,,https://cir.nii.ac.jp/crid/1130000794553335936