Formal Methods - Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink (Springer, 2018)