Refinement semantics, languages and applications - Derrick, John; Boiten, Eerke 1966- (Springer, 2018)