Verified Software. Theories, Tools, and Experiments - Paskevich (Springer International Publishing, 2017)