Computability, complesxity and languages: Fundamentals of theoretical computer science - Davis Martin D; Weyuker Elaine J (1983)
Keywords: Machine Theory