著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"TACS and Abadi, Martín and 伊藤, 貴康","Theoretical aspects of computer software : Third International Symposium, TACS '97, Sendai, Japan, September 23-26, 1997 ; proceedings",,Springer,1997,Lecture notes in computer science,,354063388X,,https://cir.nii.ac.jp/crid/1130000796148069504