Software Concurrency in Real Time Control Systems.
Combining MASCOT with Modula-2 to aid the Engineering of Real-time Systems.
A General Character to Integer Conversion Method.
A VLSI Interactive Layout Editor (VILRE).
A Comparison of the ANSI and ISO Pascal Word Standards.
MOS: A Multicomputer Distributed Operating System.
Yacc in Sasl-an Exercise in Functional Programming.