P. Brunet, Web appendix to this abstract, 2016.

M. Gabbay and A. Pitts, A new approach to abstract syntax involving binders, Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158), pp.214-224, 1999.
DOI : 10.1109/LICS.1999.782617
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.38.9383

M. J. , G. , and V. Ciancia, Freshness and name-restriction in sets of traces with names, Foundations of Software Science and Computational Structures, pp.365-380, 2011.

D. Kozen, Kleene algebra with tests, ACM Transactions on Programming Languages and Systems, vol.19, issue.3, pp.427-443, 1997.
DOI : 10.1145/256167.256195

D. Kozen, K. Mamouras, D. Petrisan, and A. Silva, Nominal Kleene Coalgebra, Automata, Languages, and Programming, ICALP 2015, pp.286-298, 2015.
DOI : 10.1007/978-3-662-47666-6_23
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1031.6252

D. Kozen, K. Mamouras, and A. Silva, Completeness and incompleteness in Nominal Kleene Algebra, Relational and Algebraic Methods in Computer Science, pp.51-66, 2015.
DOI : 10.1007/978-3-319-24704-5_4
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.672.5946

M. Andrew and . Pitts, Nominal Sets: Names and Symmetry in Computer Science, 2013.