[1965] Programming Semantics for Multiprogrammed Computations
[CACM'70] The Nucleus of a Multiprogramming System
[1984] Reflections on Trusting Trust
[HotOS'95] Protection is a Software Issue - Computer Science & Engineering
[2018] Computation and State Machines
[arXiv'20] The Cost of Software-Based Memory Management Without Virtual Memory