1. Andersen, H.R.: An Introduction to Binary Decision Diagrams (Lecture Notes) (October 1997), http://www.itu.dk/people/hra/bdd97.ps.gz
2. Balaa, A., Bertot, Y.: Fonctions récursives générales par itération en théorie des types. In: Journées francophones des langages applicatifs, JFLA 2002. INRIA (2002)
3. Lecture Notes in Computer Science;Y. Bertot,2002
4. Lecture Notes in Computer Science;A. Bove,2001
5. Bryant, R.E.: Graph-based algorithms for Boolean function manipulation. IEEE Transactions on Computers C-35(8), 677–691 (1986)