1. Verdult, E.: In de prak geparkeerd. De Ingenieur 7, 32–35 (2005)
2. Groote, J.F., Mathijssen, A., Van Weerdenburg, M., Usenko, Y.S.: From μCRL to mCRL2: motivation and outline. In: Proc. Workshop on Algebraic Process Calculi: The First Twenty Five Years and Beyond. BRICS NS-05-3, pp. 126–131 (2005)
3. Groote, J.F., Mathijssen, A., Ploeger, B., Reniers, M., Van Weerdenburg, M., Van der Wulp, J.: Process algebra and mCRL2, IPA basic course on formal methods 2006 (2006),
www.mcrl2.org
4. mCRL2: mCRL2 homepage (2006),
http://www.mcrl2.org
5. Groote, J.F., Ponse, A.: The syntax and semantics of μCRL. In: Algebra of Communicating Processes, Workshops in Computing, pp. 26–62 (1994)