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