著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"TIC and Harper, Robert William","Types in compilation : Third International Workshop, TIC 2000, Montreal, Canada, September 21, 2000 : revised selected papers",,Springer,2001,Lecture notes in computer science,,3540421963,,https://cir.nii.ac.jp/crid/1130000797930507392