Verified Software: Theories, Tools, Experiments - Ernie Cohen, Andrey Rybalchenko; Rybalchenko, Andrey (Springer Berlin Heidelberg, 2014)