This methodology was developed into structured programming, the title of his 1972 book, coauthored with C.A.R.
В 1970-е годы вместе с Тони Хоаром и Никлаусом Виртом разработал основные положения структурного программирования.