1. Andrew Bailey, George McCaskill, Jim McIntosh, and George Milne. The description and automatic verification of digital circuits in Circal. In P. Camurati and P. Prinetto, editors, Proceeding of the Advanced Research Workshop on Correct Hardware Design Methodologies. Elsevier/North-Holland, 1992. Workshop held from June 12–14, 1991, Turin, Italy.
2. Andrew Bailey, George A. McCaskill, and George J. Milne. An exercise in the automatic verification of asynchronous designs. Technical Report HDV-26-93, Department of Computer Science, University of Strathclyde, January 1993.
3. Andrew Bailey and George Milne. Using Circal to analyse Sutherland's asynchronous micropipeline design style. Technical Report HDV-13-91, Department of Computer Science, University of Strathclyde, May 1991.
4. Erik Brunvand and Robert F. Sproull. Translating concurrent communicating programs into delay-insensitive circuits. Technical Report CMU-CS-89-126, School of Computer Science, Carnegie Mellon University, April 1989.
5. J. A. Brzozowski and J. C. Ebergen. Recent developments in the design of asynchronous circuits. Technical Report CS-89-18, Computing Science Department, University of Waterloo, May 1989.