Literature list

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