Alan David Leggett

• The development of a notation to describe program and computer system design