1. J.C.M. Baete, A Brief History of Process Algebra, Technical Report CS-R 04/02, Dept. of Comp. Sci., Technische Universiteit Eindhoven, 2004.
2. Process Algebra;Baeten,1990
3. Trace-oriented models of concurrency;Broy,2001
4. José Félix Costa, Teoria Algébrica dos Processos Animados, Master’s thesis, Universidade Técnica de Lisboa, 1989.
5. José Félix Costa, Fundamentos Matemáticos da Concorrência, Ph.D. thesis, Universidade Técnica de Lisboa, 1991.