Ralph-Johan Back Joakim von Wright Trace Refinement of Action Systems. 367-384 1994 conf/concur/1994 CONCUR db/conf/concur/concur1994.html#BackW94 https://doi.org/10.1007/978-3-540-48654-1_28