1. Lecture Notes in Computer Science;P.A. Abdulla,1999
2. Abrial, J.-R.: The B-Book - Assigning programs to meanings. Cambridge University Press (2005)
3. Bergstra, J.A., Ponse, A., Smolka, S.A.: Handbook of Process Algebra. Elsevier (2001)
4. Bergstra, J.A., Klop, J.W.: Algebra of Communicating Processes with Abstraction. TCS 37, 77–121 (1985)
5. Chossart, R.: Évaluation d’outils de vérification pour les spécifications de systèmes d’information. Master’s thesis, Université de Sherbrooke (2010)