T. Mossakowski, M. Codescu, C. Maeder, and B. Langenstein, “The VSE Refinement Method in Hets”, eceasst, vol. 62, Sep. 2013.