Tests and Proofs - Dirk Beyer, Chantal Keller (Springer, 2019)