Parametric Action Refinement
H. Wehrheim, in: E.-R\'22udiger Olderog (Ed.), Programming Concepts, Methods and Calculi, Proceedings of the IFIP T/W.1/W.2/W.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET ’94) San Miniato, Italy, 6-10 June, 1994, 1994, pp. 247--266.