In August 1959 he proposed the use of recursion and conditional expressions, which became part of ALGOL.
Vào tháng 8 năm 1959, ông đã đề xuất việc sử dụng đệ quy và các biểu thức điều kiện, nó đã trở thành một phần của ALGOL.