著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL "Davis, Martin and Sigal, Ron and Weyuker, Elaine J","Computability, complexity, and languages : fundamentals of theoretical computer science",2nd. ed,Academic Press,1994,Computer science and scientific computing,,0122063821,,https://cir.nii.ac.jp/crid/1130000794410494080