Dependency-Based Action Refinement
A. Rensink, H. Wehrheim, in: I. Pr\rquote vara, P. Ruzicka (Eds.), Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings, 1997, pp. 468--477.