著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"TACS and Pierce, Benjamin C. and Kobayashi, Naoki","Theoretical aspects of computer software : 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001 : proceedings",,Springer,2001,Lecture notes in computer science,,3540427368,,https://cir.nii.ac.jp/crid/1130000795495493888