Bracciali, Andrea and Bruni, Roberto and Lluch-Lafuente, Alberto  On symbolic semantics for name-decorated contexts.  Electronic Notes in Theoretical Computer Science, 229 (3).  pp. 37-58.  ISSN 1571-0661      (2009)