Efficient Automated Protocol Implementation Using RTAG.
Object-oriented Programming Applied to a Prototype Workstation.
Calendrical Calculations.
Program Monitoring and Analysis: Software Structures and Architectural Support.
The System: Providing Light-weight Concurrency on Shared-memory Multiprocessor Computers Running UNIX.