Mossakowski, T.; Codescu, M.; Maeder, C.; Langenstein, B. The VSE Refinement Method in Hets. eceasst 2013, 62.