Bertling, H., Ganzinger, H., Schäfers, R., Nieuwenhuis, R., & Orejas, F. (1993). Completion Subsystem. In B. Hoffmann, & B. Krieg‐Brückner (Eds.), Program Development by Specification and Transformation (pp. 460-494). Berlin: Springer.