Tests and Proofs - Ahrendt; Wehrheim, Heike (Springer International Publishing, 2020)