Philippe A. Janson Using Type-Extension to Organize Virtual-Memory Mechanisms. 6-38 1981 15 Operating Systems Review 4 db/journals/sigops/sigops15.html#Janson81 http://doi.acm.org/10.1145/850716.850718