著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL "Nori, Kesav V. and Conference on Foundations of Software Technology and Theoretical Computer Science","Foundations of software technology and theoretical computer science : Seventh Conference, Pune, India, December 17-19, 1987, proceedings",,Springer-Verlag,1987,Lecture notes in computer science,,"3540186255,0387186255",,https://cir.nii.ac.jp/crid/1130000793762619392