著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"International Conference on the Mathematics of Program Construction and Bird, R. S. (Richard Simpson) and Morgan, C. C. (Charles Carroll) and Woodcock, James","Mathematics of program construction : Second International Conference, Oxford, U.K., June 29-July 3, 1992 : proceedings",,Springer-Verlag,1993,Lecture notes in computer science,,"3540566252,0387566252",,https://cir.nii.ac.jp/crid/1130000794386239872