Computability, complexity and languages. Fundamentals of theoretical computer science. - Academic Press, 1983. - ( Computer science and applied mathematics ).