1. 80960CA User's Manual, Intel Corp., 1989.
2. ‘Performance characteristics of the 1960CA superscalar microprocessor’, Hot Chips II: Symposium on High Performance Chips, Santa Clara, California, August 1990.
3. VxWorks Reference Manual, Rev. 9, Wind River Systems, Inc., May, 1991.
4. VxWorks Programmer Guide for Version 5.0, Wind River Systems, Inc., 1990.
5. ‘pdb: a network oriented symbolic debugger’, Proc. 1990 Winter USENIX Conf., 1990, pp. 41–52.