1. Capability-Based Computer Systems, Digital Press, 1984.
2. Capability Based Tagged Architectures
3. and , The Cambridge CAP Computer and Its Operating System, North Holland, New York, 1979.
4. and , ‘IBM System/38 support for capability-based addressing’, Proceedings of the Eighth Annual Symposium on Computer Architecture, Minneapolis, Minnesota, 1981, pp. 341–348.
5. Performance effects of architectural complexity in the Intel 432