著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Moschovakis, Yiannis N. and Workshop on Logic from Computer Science","Logic from computer science : proceedings of a workshop held November 13-17, 1989",,Springer-Verlag,1992,Mathematical Sciences Research Institute publications,,"0387976671,3540976671",,https://cir.nii.ac.jp/crid/1130282273183692288