Taylor, R. Gregory: Models of Computation. New York: Oxford University Press, 1998. An unusually réadable textbook, appropriate for upper-level undergraduates or beginning graduate students.