1. J.C.M. Baeten, W.P. Weijland, Process Algebra, Cambridge Tracts in Theoretical Computer Science 18, Cambridge University Press, Cambridge, 1990.
2. M.H. ter Beek, Team Automata—A Formal Approach to the Modeling of Collaboration Between System Components, Ph.D. Thesis, Leiden Institute of Advanced Computer Science, Leiden University, 2003.
3. Synchronizations in team automata for groupware systems;ter Beek;Comput. Supported Cooperative Work—J. Collaborative Comput.,2003
4. M.H. ter Beek, J. Kleijn, Team automata satisfying compositionality, in: K. Araki, S. Gnesi, D. Mandrioli (Eds.), Proc. of FME 2003: Formal Methods—the 12th Internat. Symp. on Formal Methods Europe, Pisa, Italy, Lecture Notes in Computer Science, Vol. 2805, Springer, Berlin, 2003, pp. 381–400.
5. J.A. Bergstra, A. Ponse, S.A. Smolka (Eds.), Handbook of Process Algebra, Elsevier Science Publishers, Amsterdam, 2001.