sur 23
Computability, Complexity, and Languages — Elaine J. Weyuker, Martin D. Davis