[raible]

Actually, the course number back then was 6.031. I only become 6.001 later on.

[jpmattia]

Must not have been clear in my post: It was 6.001 in 1983, when I took the class with Sussman and Abelson. The book was still not published, and they gave it to us as xeroxed notes.