Tests and Proofs - Gabmeyer, Sebastian (Springer International Publishing, 2020)