Verified Software. Theories, Tools, and Experiments - Blazy (Springer International Publishing, 2016)