I took his Compilers class about 30 years ago. I really wish I still had those notes.