Flemming Nielson Hanne Riis Nielson Henrik Pilegaard What is a free name in a process algebra? 188-194 2007 103 Inf. Process. Lett. 5 http://dx.doi.org/10.1016/j.ipl.2007.04.001 db/journals/ipl/ipl103.html#NielsonNP07