Gödel numbers: a new approach to structured programming

Theory of recursive functions and effective computability

Theory of recursive functions and effective computability

Computer Software and Copyright

ACM Computing Surveys (CSUR)

And/Or Programs: A New Approach to Structured Programming

ACM Transactions on Programming Languages and Systems (TOPLAS)

Letters to the editor: go to statement considered harmful

Communications of the ACM

A Discipline of Programming

A Discipline of Programming

Formal languages and their relation to automata

Formal languages and their relation to automata