Richard J.Lipton
Quantum Algorithms via Linear Algebra: A Primer
This introduction to quantum algorithms is concise but comprehensive, covering many key algorithms.
People, Problems, and Proofs: Essays from Gödel's Lost Letter: 2010
People, problems, and proofs are the lifeblood of theoretical computer science. Behind the computing