Software Verification and Analysis - Stanley, William; Laski, Janusz (Springer London, 2009)