1. Bryg W., Chan K., Fiduccia N., ‘A High-Performance, Low-Cost Multiprocessor Bus for Workstations and Midrange Servers', Hewlett-Packard Journal, 47 (l), February 1996.
2. Bainbridge S., Camilleri A., Fleming R., ‘Theorem Proving as an Industrial Tool for System Level Design', in Theorem Provers in Circuit Design, Stavridou V., Melham T., Boute R. (eds.), North-Holland, 1992, pp. 253–274, Proceedings of the IFIP TC 10/WG 10.2 International Conference, Nijmegen, 22–24 June, 1992.
3. Camilleri A., Fleming R., Odineal R., Prekeges D., ‘Formal Verification of Liveness of a Multi-Processor Bus Protocol', pp. 409–412, Proceedings of the 1993 HP Design Technology Conference, Portland, 25–28 May, 1993. HP Confidential.
4. Corella F., Shaw R., Zhang C., ‘A formal proof of absence of deadlock for any acyclic network of PCI buses', Proceedings of 13th International Conference on Computer Hardware Description Languages and their Applications, Chapman & Hall, 1997.
5. Datamation Magazine, February 1997.