Generic virtual memory management for operating system kernels
Using Sparse Capabilities in a Distributed Operating System