Tests and Proofs - Sebastian Gabmeyer, Einar Broch Johnsen (Springer, 2017)