Last update: 03-02-2025

Operating systems #

• M. McKusick The design and implementation of the FreeBSD operating system [978-0321968975]
• Sun Microsystems Dynamic Instrumentation of Production Systems Link
• Bell Laboratories Plan 9 from Bell Labs Link
• Sun Microsystems Solaris Zones: Operating System Support for Consolidating Commercial Workloads Link
• USENIX The UVM Virtual Memory System Link
• Sun Microsystems The Zettabyte File System Link

Programming/PL #

• H. Abelson, G.J. Sussman Structure and Interpretation of Computer Programs Link
• J. McCarthy Recursive Functions of Symbolic Expressions and Their Computation by Machine Link

Theory #

• C.A.R. Hoare Communicating sequential processes Link
• C.E. Shannon A Mathematical Theory of Communication Link
• A.M. Turing On computable numbers, with an application to the entscheidungsproblem Link