1. and , ‘The Atlas supervisor’, Proc. east. jt Comput. Conf. 279–294 (1961).
2. The Manchester University Atlas Operating System Part I: Internal Organization
3. and , ‘The Atlas 2 supervisor’, Proc. Association Française de Calcul et de Traitement d'Information, Third Congress, Toulouse, 1963.
4. The structure of a multiprogramming supervisor
5. and , ‘Introduction and overview of the multics system’, Proc. Am. Fed. Inf. Processing Socs jt Comput. Conf. 185–196 (1965).