Tests and Proofs - Martina Seidl, Nikolai Tillmann (Springer International Publishing, 2014)