著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Symposium on Logics of Programs and Their Applications and Salwicki, Andrzej","Logics of programs and their applications : proceedings, Poznan, August 23-29, 1980",,Springer-Verlag,1983,Lecture notes in computer science,,"3540119817,0387119817",,https://cir.nii.ac.jp/crid/1130282269122383360