People, Problems, and Proofs - Lipton (Springer Berlin Heidelberg, 2013)