著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Categories in Computer Science and Logic and Gray, John W. (John Walker) and Ščedrov, Andrej and National Science Foundation (U.S.)","Categories in computer science and logic : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held June 14-20, 1987 with support from the National Science Foundation",,American Mathematical Society,1989,Contemporary mathematics,,0821851004,,https://cir.nii.ac.jp/crid/1130000794548498944