He was instrumental in the design of the Ferranti PEGASUS computer.
The macro language m4 derives much from Strachey's GPM (General Purpose Macrogenerator), one of the earliest macro expansion languages [REF].