1. L. Aceto, W. Fokkink, C. Verhoef, Conservative extension in structural operational semantics, in: Current Trends in Theoretical Computer Science, 2001, pp. 504–524.
2. J.C.M., Baeten, A brief history of process algebra, Tech. Rep. CS-R 04/02, Dept. of Comput. Sci., Technische Universiteit Eindhoven, 2004.
3. Cambridge Tracts in Theoretical Computer Science;Baeten,1990
4. Trace-Oriented Models of Concurrency;Broy,2001
5. J.F. Costa, Teoria algébrica dos processos animados, Master’s thesis, Universidade Técnica de Lisboa, 1989.