Tests and Proofs - Beckert, Bernhard; Hähnle, Reiner (Springer Berlin Heidelberg, 2008)