1. A. Bailey and George Milne. Verifying the correctness of asynchronous design modules. Technical Report HDV-23-92, University of Strathclyde, Department of Computer Science, Glasgow, February 1992.
2. A. Bailey and G.J. Milne. Verification of Philips' Operators for VLSI Programming. Technical Report HDV-17-91, University of Strathclyde, Glasgow, August 1991.
3. Andrew Bailey. Modelling, design and analysis of digital circuits using Circal. PhD thesis, University of Strathclyde, forthcoming in 1993.
4. D.L. Dill. Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits. MIT Press, 1989.
5. Alain J. Martin. Programming in VLSI. In C.A.R. Hoare, editor, Developments in Communication and Concurrency, pages 1–64. Addison-Wesley, 1989.