Verified Software: Theories‚ Tools‚ Experiments - Hoare, T (IEEE, 2008)