著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"WADT and Fiadeiro, José Luiz and Schobbens, Pierre-Yves","Recent trends in algebraic development techniques : 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006 : revised selected papers",,Springer,2007,Lecture notes in computer science,,9783540719977,,https://cir.nii.ac.jp/crid/1130000797235849344