# Readings

## Assigned Readings

Readings will be chosen from the following list. Specific readings are assigned in each of the problem sets.

Assigned readings.
INITIALS | READINGS
--- | ---
[SICP] | Abelson, Harold, Gerald Jay Sussman, and Julie Sussman. Structure and Interpretation of Computer Programs. 2nd ed. Cambridge, MA: MIT Press, 1996. ISBN: 9780262011532. The full text of SICP is available online through the MIT Press Web site.
[R5RS] | Kelsey, Richard, et al. "Revised Report on the Algorithmic Language Scheme." (PDF)
[SOS] | Hanson, Chris. "The SOS [Scheme Object System] Reference Manual." (PDF)
[ART] | Springer, George, and Daniel Friedman. Scheme and the Art of Programming. Cambridge, MA: MIT Press, 1989. ISBN: 9780262192880.
[RZ] | Zippel, Richard. Effective Polynomial Computation. New York, NY: Springer, 1993. ISBN: 9780792393757.
[AOP] | Radul, Alexey, and Gerald Jay Sussman. "The Art of the Propagator." MIT CSAIL Technical Report, January 2009.
[BPS] | Forbus, Kenneth, and Johan de Kleer. Building Problem Solvers. Cambridge, MA: MIT Press, 1993. ISBN: 9780262061575.
[CONS] | Steele, Guy. "The Definition and Implementation of a Computer Programming Language Based on Constraints." MIT PhD thesis, 1980.
[LOGIC] | Suppes, Patrick. Introduction to Logic. Mineola, NY: Dover Publications, 1999. ISBN: 9780486406879.
[AMORD] | de Kleer, Johan, et al. "AMORD: A Deductive Procedure System." MIT Artificial Intelligence Laboratory Working Paper 151, August 1977.
[CMMR] | Bundy, Alan. The Computer Modelling of Mathematical Reasoning. Burlington, MA: Academic Press, 1983. ISBN: 9780121412524.

## Additional Readings

Sussman, Gerald Jay. Building Robust Systems: An Essay. (PDF)

Steele, Guy. The Future is Parallel: What's a Programmer to Do? (PDF) (Courtesy of Guy L. Steele, Jr. and Sun Microsystems, Inc. Used with permission.)