Tests and Proofs - Laura Kovács, Karl Meinke (Springer, 2022)