Marc Bezem Jan Friso Groote Invariants in Process Algebra with Data. 401-416 1994 conf/concur/1994 CONCUR db/conf/concur/concur1994.html#BezemG94 http://dx.doi.org/10.1007/BFb0015022