著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Refinement Workshop and Jifeng, He and Cooke, John and Wallis, Peter and British Computer Society","BCS-FACS 7th Refinement Workshop : proceedings of the BCS-FACS 7th Refinement Workshop, Bath, 3-5 July 1996",,Springer,1997,Electronic workshops in computing,,3540761047,,https://cir.nii.ac.jp/crid/1130000795892790400