Friedrich L. Bauer
-
Structured Programming with go to Statements
ACM Computing Surveys (CSUR)
Towards a wide spectrum language to support program specification and program development
ACM SIGPLAN Notices