Theory of Computation - Kozen, Dexter C.; SpringerLink (Online service) (London : Springer London, 2006)
Keywords: Computer science; Information theory; Computer software; Computer science -- Mathematics; Computer Science; Theory of Computation; Computational Mathematics and Numerical Analysis; Computational Science and Engineering; Computation by Abstract Devices; Algorithm Analysis and Problem Complexity