Su artículo de desarrollo de un programa por refinamiento sucesivo ("program development by stepwise refinement") se considera un texto clásico en la ingeniería del software, así como su libro "Algoritmos + Estructuras de datos = Programas", que recibió un amplio reconocimiento, y que aún hoy resulta útil en la enseñanza de la programación.