Mathematical StructureEngineeringComputational Model TheoryFormal MethodsSystems EngineeringRealization Theory
3
The structure of the “THE”-multiprogramming system
Edsger W. Dijkstra · Communications of the ACM · 1968
1.1K citations
Garbage collection in a large LISP system
David A. Moon · 1984
276 citations
Modularization and hierarchy in a family of operating systems
A. N. Habermann, Lawrence Flon, Lee W. Cooprider · Communications of the ACM · 1976
162 citations