著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Simpson, D. (Dan) and De Neumann, Bernard and Slater, Gil and Institute of Mathematics and Its Applications",Mathematical structures for software engineering : based on the proceedings of a conference organized by the Systems and Software Engineering Specialist Group of the Institute of Mathematics and its Applications held at Manchester Polytechnic in July 1988,,"Clarendon,Oxford University Press",1991,The Institute of Mathematics and its Applications conference series,,0198536275,,https://cir.nii.ac.jp/crid/1130000794974010624