Proofs and Algorithms heftetEngelsk, 2011