A New Protection Architecture for the Cambridge Capability Computer. - A. J. Herbert (ACM SIGOPS Oper. Syst. Rev., 1978)

A microprogrammed operating system kernel. - A. J. Herbert (1978)

Sequencing Computation Steps in a Network. - A. J. Herbert; Roger M. Needham (SOSP, 1981)

The Cambridge Distributed Computing System. - A. J. Herbert (Advanced Course: Local Area Networks, 1983)

How to Connect Stable Memory to a Computer. - Roger M. Needham; A. J. Herbert; James G. Mitchell (ACM SIGOPS Oper. Syst. Rev., 1983)

An Augmented Capability Architecture to Support Lattice Security and Traceability of Access. - Paul A. Karger; A. J. Herbert (S&P, 1984)