著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"NATO Advanced Study Institute and Biermann, Alan W. and Guiho, Gérard","Computer program synthesis methodologies : proceedings of the NATO Advanced Study Institute held at Bonas, France, September 28-October 10, 1981",,"D. Reidel Pub. Co.,Distributed in the U.S.A. and Canada by Kluwer Boston Inc.",1983,NATO advanced study institutes series,,9027715041,,https://cir.nii.ac.jp/crid/1130000796128061440