著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL "Ince, Darrel C.","An introduction to discrete mathematics, formal system specification, and Z",2nd ed,"Clarendon Press,Oxford University Press",1992,Oxford applied mathematics and computing science series,,"0198538375,0198538367",,https://cir.nii.ac.jp/crid/1130000794605943552