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