Nielsen, M.; Rozenberg, G.; Thiagarajan, P. S. Elementary Transition Systems and Refinement. DPB 1991, 20.