1. Bolduc, C.: Oméga-algèbre — Théorie et application en vérification de programmes. Forthcoming M.Sc. thesis, Université Laval, Québec, Canada (2006)
2. Lecture Notes in Computer Science;S. Chaki,2004
3. Lecture Notes in Computer Science;E. Cohen,2000
4. Cohen, E.: Omega algebra and concurrency control. Presentation made at the 56th meeting of the IFIP Working Group 2.1, Ameland, The Netherlands (2001)
5. Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: 21st International Conference on Software Engineering, pp. 411–420. IEEE Computer Society Press, Los Alamitos (1999)