Theory of Computation Theory of Computation - Kozen D. C. (London Springer)
Keywords: Discrete Mathematics