Theory of computaion. - Kozen Dexter C (London Springer, 2006)
Keywords: Computer Theory