I rarely see this mentioned, but book he authored with Gerrit A. Blaauw, Computer Architecture, has a really cool way of characterizing the various machine architectures by describing their data representations, formats, and significant operations in APL.