People, Problems, and Proofs - Lipton, Richard J.; Lipton; Regan, Kenneth W. (Springer Berlin Heidelberg, 2013)