William E. Riddle. Hierarchical modeling of operating system structure and behavior. In John J. Donovan, Rosemary Shields, editors, Proceedings of the ACM annual conference, ACM 1972, 1972, Volume 2. pages 1105-1127, ACM, 1972. [doi]
Abstract is missing.