I'm really amazed to see this here - I was his student back in the 1980s when he was a professor at Syracuse University. I implemented the virtual machine for his language Joyce which a hybrid of Tony Hoare's CSP with a Pascal syntax. Great times!

Also I was his teaching assistant for the course based on this book for a few semesters.