Verified Software. Theories, Tools, and Experiments - Andrei Paskevich, Thomas Wies (Springer, 2017)