Tests and Proofs - Catherine Dubois, Burkhart Wolff (Springer, 2018)