C A R Hoare
It was published in P J L Wallis, editor, State of the Art Report 11, No 3: Software Engineering, pages 77-84. Pergamon/Infotech, 1983.
![[Oxford Spires]](/im/spires.gif){kind=small}
oucl