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