Elements of the theory of computation - Lewis, Harry R. (Prentice-Hall Software Series, 1981)