著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Shepherdson, J. C. and Hoare, C. A. R. (Charles Antony Richard)",Mathematical logic and programming languages,,Prentice Hall International,1985,Prentice-Hall International series in computer science,,0135614651,,https://cir.nii.ac.jp/crid/1130282269779508992