著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Parikh, Rohit","Logics of programs : Brooklyn, June 17-19, 1985 : proceedings",,Springer-Verlag,1985,Lecture notes in computer science,,"3540156488,0387156488",,https://cir.nii.ac.jp/crid/1130000794740065408