著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL "Manna, Zohar",Lectures on the logic of computer programming,,Society for Industrial and Applied Mathematics,1980,CBMS-NSF regional conference series in applied mathematics,,0898711649,,https://cir.nii.ac.jp/crid/1130000796554068480