Dirk Beyer, Chantal Keller Tests and Proofs - Springer Springer 2019 ISBN: 9783030311575 Source: EBOOK