Great computing literature

Updated: 2007-04-01
Created: 2004-09-20

This document is an incomplete draft.

Programming

Structured Programming
Criteria for the modularization of programs by Parnas
%A D. L. Parnas
%T On the criteria to be used decomposing systems into modules
%J CACM
%V 15
%D DEC 1972
%A D. L. Parnas
%T A technique for the specification of software modules
%J CACM
%V 15
%D MAY 1972
%A D. L. Parnas
%B Response to detected errors in well structured programs
%I Carnegie Mellon UNIV CSD
%C Pittsburgh
%D 1972
%K exception handling
Structure and Interpretation of Computer Programs
Object-Oriented Programming in Common Lisp - A Programmer's Guide to CLOS by Sonia Keene (Addison Wesley)
A discipline of programming
Data structures + Algorithms = Programs
The Mythical Man Month

Languages

Henry Baker on copying garbage collection
Baker and Hewitt on generational garbage collection
Compiler Construction
%A David Gries
%T Compiler construction for digital computers
%I WILEY
%D 1971
%C New\ York
Anatomy of Lisp by Allen
%A John Allen
%B Anatomy of Lisp
%K environment compiler shallow deep continuation object
%I MGHILL
%D 1980
%S Series in artificial intelligence
%X The fundamental reference book on Lisp, and all the topics pertaining to it.
The only reference where you can find something about Steele's work on
imperative and declarative lambda.
Simula 67 Common Base
Algol 68 Revised Report
The C Programming Language
Pascal
LAMBDA: the ultimate declarative and imperative
%A G. L. Steele
%T LAMBDA: the ultimate declarative
%R Memo 379
%I MIT AI LAB
%D NOV 1976
%K lisp
%A G. L. Steele
%T LAMBDA: the ultimate imperative
%R Memo 353 
%I MIT AI LAB
%D MAR 1976
%K lisp

Architecture

The Multics computer system by Organick
Capability-based computer systems by Levy
IBM System 3[67]0 principles of operation
%A IBM\ CORP
%B IBM system 370 principles of operation
%G GA22-7000
%D SEP 1974
%I IBM\ CORP
Quantitative Computer Architecture
Conway on Manhattan designs
End-to-end case
%A Jerome H. Saltzer
%T End-to-end arguments in system design
%B PROC second international CONF on distributed computing systems
%C Paris (France)
%D APR 1981
%P 509-512
Sketchpad
%A Ivan E. Sutherland
%T SKETCHPAD:  a man-machine graphical communication system
%B Proceedings, AFIPS Spring Joint Computer Conference
(American Federation of Information Processing Societies)
%V 23
%C Baltimore, Maryland
%P 329-346
%I Spartan Books
%D 1973
%L Sutherland 1963b
%A Ivan Edward Sutherland
%T SKETCHPAD:  A Man-Machine Graphical Communication System
%I Massachusetts Institute of Technology
%O Ph.D. DISS
%D 1963
%L Sutherland 1963a

Operating systems

Bell System Technical JournalVolume 57, Number 6, Part 2, July-August 1978 1984 issue on UNIX
UNIX 7th edition manuals
Peter J. Denning on virtual memory
Operating system (poor) support of DBMSes
%A M. R. Stonebraker
%T Operating system support for database management
%J CACM
%V 24
%D JUL 1981
%P 412-418
%K data base

Classic surveys of a field

Art of Computer Programming
Computer networks by Tanenbaum
Database design by Wiederhold
The logical design of operating systems by Shaw
The DoD orange book

Other similar lists

http://bit.csc.lsu.edu/~chen/GreatPapers.html