著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"長谷川, 真人",Models of sharing graphs : a categorical semantics of let and letrec,,Springer,1999,Distinguished dissertations,,1852331453,,https://cir.nii.ac.jp/crid/1130282273334387968