Murdoch James Gabbay Nominal Algebra and the HSP Theorem. 341-367 2009 19 J. Log. Comput. 2 http://dx.doi.org/10.1093/logcom/exn055 db/journals/logcom/logcom19.html#Gabbay09