Turtle Geometry: The Computer as a Medium for Exploring Mathematics, with A. diSessa, MIT Press, 1981 (published translations in Spanish, Italian, Polish, and Bulgarian).
Logo for the Apple II and Apple Logo, Byte Books, Peterborough, N.H., 1982 (published translations in Spanish, French, German, Japanese, and Chinese).
Structure and Interpretation of Computer Programs, (with Gerald Jay Sussman and Julie Sussman), MIT Press and McGraw-Hill, 1985 (published translations in French, Japanese, and German). Second edition, 1996.
Logo for the Macintosh: An Introduction through Object Logo (with Amanda Abelson), Paradigm Software, Cambridge, MA, 1992.
"Lower Bounds on Information Transfer in Distributed Computations," Journal of the ACM, vol. 27, no. 2, April, 1980, pp. 384--392.
"Lisp: a Language for Stratified Design," with Gerald Jay Sussman, Byte Magazine, February 1988, pp. 207--218.
"Boxer: A Reconstructible Computational Medium," with A. diSessa, in Studying the Novice Programmer, E. Soloway and J. Spohrer (eds.), Hillsdale, N.J.: Lawrence Erlbaum Associates, 1989.
"Intelligence in Scientific Computing," with M. Eisenberg, M. Halfant, J. Katzenelson, E. Sacks, G.J. Sussman, J. Wisdom, K. Yip, CACM, vol. 32, no. 5, May, 1989, pp. 546--562. Reprinted in Readings in Qualitative Reasoning about Physical Systems, D.S. Weld and J. deKleer (ed.), Morgan Kaufmann, 1990; also in Artificial Intelligence at MIT, P. Winston and S. Shellard (ed.), MIT Press, 1990.
"The Supercomputer Toolkit: A general framework for special-purpose computing," with A. Berlin, J. Katzenelson, W. McAllister, G. Rozas, G. J. Sussman, and Jack Wisdom, International Journal of High-Speed Electronics, vol. 3, no. 3, 1992, pp. 337-361. Also available as MIT Artificial Intelligence Laboratory Memo number 1329, November 1991 and Hewlett-Packard Laboratories Technical Report Number HPL-94-30.
``The Risks of Key Recovery, Key Escrow, and Trusted Third-Party Encryption,'' with Ross Anderson, Steven Bellovin, Josh Benaloh, Matt Blaze, Whitfield Diffie, John Gilmore, Peter Neumann, Ronald Rivest, Jeffrey Schiller, and Bruce Schneier, in World Wide Web Journal, vol. 2, no. 3, Summer 1997, O'Reilly & Associates, pp. 241-257.
``Amorphous Computing,'' with Don Allen, Daniel Coore, Chris Hanson, George Homsy, Thomas F. Knight, Jr., Radhika Nagpal, Erik Rauch, Gerald Jay Sussman, and Ron Weiss, CACM, May 2000.
The MIT Coop at Kendall Square, originally published in The Tech, September 1987.
Remarks on the Harvard Society of Nerds and Geeks, originally published in The Tech, December 1989.