Tests and Proofs - Gabmeyer; Johnsen, Einar Broch (Springer International Publishing, 2017)