Verified Software: Theories, Tools, Experiments - Meyer, Bertrand (Springer Berlin Heidelberg, 2020)