1. L. Aceto, Some of my favourite results in classic process algebra, BRICS Report NS-03-2, BRICS, Department of Computer Science, Aalborg University, September 2003
2. CCS with Hennessy's merge has no finite equational axiomatization;Aceto;Theoretical Comput. Sci.,2005
3. Process algebra for synchronous communication;Bergstra;Information and Control,1984
4. Nonfinite axiomatizability of shuffle inequalities;Bloom,1995
5. Free shuffle algebras in language varieties;Bloom;Theoret. Comput. Sci.,1996