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