著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Conference on Category Theory and Computer Science and Moggi, Eugenio and Rosolini, G. (Giuseppe)","Category theory and computer science : 7th International Conference, CTCS '97, Santa Margherita Ligure, Italy, September 4-6, 1997 : proceedings",,Springer-Verlag,1997,Lecture notes in computer science,,354063455X,,https://cir.nii.ac.jp/crid/1130000794324892544