Software Verification and Analysis - Laski, Janusz (Springer London, 2020)