Tests and Proofs - Bernhard K. Aichernig, Carlo A. Furia (Springer International Publishing, 2016)