C. D. S. Moss
Imperial College, London
Structured Programming with go to Statements
ACM Computing Surveys (CSUR)
Lucid, a nonprocedural language with iteration
Communications of the ACM
A Discipline of Programming