1. Delayed-logic and finite-state machines;Arden;Ann. IEEE Symp. Found. Comput. Sci.,1961
2. Regular algebras applied to path-finding problems;Backhouse;IMA J. Appl. Math.,1975
3. Automatic proof and disproof in Isabelle/HOL;Blanchette,2011
4. Une condition impliquant toutes les identités rationnelles;Boffa;Theor. Inform. Appl.,1995
5. C. Bolduc, Oméga-algèbre: théorie et application en vérification de programmes, Master’s thesis, Faculté des Sciences et de Génie, Université Laval, Canada, 2006.