Deductive Software Verification – The KeY Book From Theory to Practice - Ahrendt, Wolfgang; Beckert, Bernhard; Bubel, Richard; Hähnle, Reiner; Schmitt, Peter H.; Ulbrich, Mattias (Springer International Publishing : Imprint: Springer, 2016)