ASM refinement and generalizations of forward simulation in data refinement: a comparison

We also prove that two recent generalizations of data refinement, weak refinement and coupled refinement can be derived from ASM refinement.