Deductive Software Verification – The KeY Book - häftad, Engelska, 2016