Tests and Proofs - Wolfgang Ahrendt, Heike Wehrheim (Springer, 2020)