著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Bjørner, D. (Dines) and Jones, Cliff B. and Andrews, Derek",Formal specification and software development,,Prentice-Hall International,1982,Prentice-Hall International series in computer science,,0133290034,,https://cir.nii.ac.jp/crid/1130000795413676032