Well, I believe the answer to your question is the edition of Algol he worked on. I personally think it’s one of the most elegant imperative language designs in history.