Models of computation and formal languages - Taylor, Ralph Gregory (Oxford University Press, 1998)