1. and , ‘The planned replacement of a functioning control system’, IEE Conf. ‘Trends in on-line computer control systems’, 1979.
2. The newcastle connection or UNIXes of the world unite!
3. and , ‘Reliable remote calls for distributed UNIX’, Proc. 2nd Symposium on reliability in distributed software and database systems, July 1982.
4. Concepts and Notations for Concurrent Programming