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