Pierpaolo Degano Corrado Priami Enhanced operational semantics. 135-176 2001 33 ACM Comput. Surv. 2 db/journals/csur/csur33.html#DeganoP01 http://doi.acm.org/10.1145/384192.384194