Tests and Proofs - Meyer, Bertrand (Springer Berlin Heidelberg, 2020)