Bernhard K. Aichernig, Carlo A. Furia Tests and Proofs - Springer Springer 2016 ISBN: 9783319411354 Source: EBOOK