Verified Software: Theories, Tools, Experiments - Bertrand Meyer, Jim Woodcock. (Springer, 2017)
565 p.