著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Pagan, Frank G.",Formal specification of programming languages : a panoramic primer,,Prentice-Hall,1981,Prentice-Hall software series,,0133290522,,https://cir.nii.ac.jp/crid/1130000796102591104