1. Bailey, A., Automatic verification of speed independent circuit designs using the Circal System. In Milne G. and Pierre L., editors,Advanced Research Workshop on Correct Hardware Design Methodologies, CHARME'93, Arles, France. Springer-Verlag, Lecture Notes in Computer Science 683, May 1993.
2. Bailey, A., McCaskill, G.A., McIntosh, J., and Milne, G.J., The description and automatic verification of digital circuits in CIRCAL. In Camurati P. and Prinetto P. editors,Advanced Research Workshop on Correct Hardware Design Methodologies, Turin. Elsevier/North Holland, June 1991.
3. Bailey, Andrew.,Modelling, design and analysis of digital circuits using Circal. PhD thesis, University of Strathclyde, 1994.
4. Bryant, R.E., Graph based algorithms for boolean function manipulation.IEEE Transactions on Computers, C-35(8):677?691, August 1986.
5. Brzozowski, J.A., and Seger., C-J., Advances in asynchronous circuit theory, part i.Bulletin of the European Association of Theoretical Computer Science, 1990.