Tests and Proofs - Blanchette; Kosmatov, Nikolai (Springer International Publishing, 2015)