Martin Davis

Computability, Complexity, and Languages: Fundamentals of Theoretical ...

Martin Davis & Ron Sigal & Elaine J. Weyuker