Verified Software: Theories, Tools, and Experiments - Arie Gurfinkel, Sanjit A. Seshia; Seshia, Sanjit A. (Springer International Publishing, 2016)