Tests and Proofs - Beyer; Keller, Chantal (Springer International Publishing, 2019)