The following publications are possibly variants of this publication:
- Modular, crash-safe refinement for ASMs with submachinesGidon Ernst, Jörg Pfähler, Gerhard Schellhorn, Wolfgang Reif. SCP, 131:3-21, 2016. [doi]
- ASM Refinement Preserving InvariantsGerhard Schellhorn. jucs, 14(12):1929-1948, 2008.
- Verification of ASM Refinements Using Generalized Forward SimulationGerhard Schellhorn. jucs, 7(11):952-979, 2001. [doi]
- ASM refinement and generalizations of forward simulation in data refinement: a comparisonGerhard Schellhorn. TCS, 336(2-3):403-435, 2005. [doi]
- Completeness of fair ASM refinementGerhard Schellhorn. SCP, 76(9):756-773, 2011. [doi]
- Completeness of ASM RefinementGerhard Schellhorn. ENTCS, 214:25-49, 2008. [doi]
- ASMs and Refinement of State-based SystemsGerhard Schellhorn. asmta 2005: 74-75 [doi]