Computability complexity and languages : fundamentals of theorical computer science
/ Martin D. Davis, Elaine J. Weyuker, 1983
Information trouvée : Informaticien et mathématicien. En poste au Department de computer science, Courant
institute of mathematical sciences, New York, USA (en 1983)