著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"龍田, 真",型理論,,近代科学社,1992,レクチャーノート/ソフトウェア学,,476490201X,,https://cir.nii.ac.jp/crid/1130282270881447296