And Ken Thompson's original 1968 paper,

http://www.fing.edu.uy/inco/cursos/intropln/material/p419-th...