Models of computation and formal languages R. Gregory Taylor - Taylor, R. Gregory (Oxford Uninersity Press, 1998)
Includes bibliography and index