RIP. I've actually found the Handbook of Programming Languages (4 volumes) that he edited much more useful than his Unix history.

I met him in a few conferences, back in the day. We ended up talking more about linguistics than Unix history, somehow.