Refinement Semantics, Languages and Applications - Derrick, John; Derrick, John; Boiten, Eerke (Springer International Publishing : Imprint: Springer, 2018)