著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Melton, Austin and Conference on the Mathematical Foundations of Programming Semantics","Mathematical foundations of programming semantics : international conference, Manhattan, Kansas, April 11-12, 1985 : proceedings",,Springer-Verlag,1986,Lecture notes in computer science,,"3540168168,0387168168",,https://cir.nii.ac.jp/crid/1130000798376294528