Tests and Proofs - Veanes (Springer Berlin Heidelberg, 2013)