Lampson. Hints for Computer System Design. Association for Computing Machinery (ACM), Dec. 1983, doi:10.1145/773379.806614.