Ahmed Bouajjani Peter Habermehl Yan Jurski Mihaela Sighireanu Rewriting Systems with Data. 1-22 2007 conf/fct/2007 FCT http://dx.doi.org/10.1007/978-3-540-74240-1_1 db/conf/fct/fct2007.html#BouajjaniHJS07