Tests and Proofs - Dubois; Burkhart Wolff; Wolff, Burkhart (Springer International Publishing, 2018)