Provably Correct Systems - Hinchey, Mike. (Springer International Publishing : Imprint: Springer, 2017)