Interactive Theorem Proving - Blanchette, Jasmin Christian;Merz, Stephan; Merz, Stephan (Springer International Publishing, 2016)