Provably Correct Systems. 1st ed. 2017 - Hinchey, Mike (Springer International Publishing, 2020)