Richard J Lipton
Anita K. Jones
Proceedings of the fifth symposium on Operating systems principles - SOSP ’75
A hardware architecture for controlling information flow