Here's a link to the CADR paper: http://www.unlambda.com/lispm/memo528.html I like these; they describe a microcoded machine in more detail than I can usually find.