Software Verification and Analysis An Integrated, Hands-On Approach - Stanley, William; Laski, Janusz (Springer London : Imprint: Springer, 2009)