著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"TACS and 萩谷, 昌己 and Mitchell, John C.","Theoretical aspects of computer software : international symposium TACS '94, Sendai, Japan, April 19-22, 1994 ; proceedings",,Springer-Verlag,1994,Lecture notes in computer science,,"3540578870,0387578870",,https://cir.nii.ac.jp/crid/1130282269411073280