Theodore A. Linden Operating System Structures to Support Security and Reliable Software. [Citation Graph (4, 0)][DBLP] ACM Comput. Surv., 1976, v:8, n:4, pp:409-445 [Journal]
Theodore A. Linden The Use of Abstract Data Types to Simplify Program Modifications. [Citation Graph (0, 0)][DBLP] Conference on Data: Abstraction, Definition and Structure, 1976, pp:12-23 [Conf]