Computability, complexity, and languages Fundamentals of theoretical computer science - Davis, Martin D.; Weyuker, Elaine J. (Academic Press, 1983)
bibliography:p. 417-418