Algorithms, complexity and models of computation [arises from the Conference Theory and Applications of Models of Computation 2007, held at Fudan University, Shanghai in May 2007] - Cooper, Stuart B. 1943-2015 (Theoretical computer science, 2009)