Computability,complexity, and languages : fundamentals of theoretical computer science - Davis M D; Weyuker E J (N Y Academic Press, 1983)
Keywords: Computability; Computer science