Programming Methodology: A Collection of Articles by Members of IFIP WG 2.3

Monitors and concurrent Pascal: a personal history

HOPL-II The second ACM SIGPLAN conference on History of programming languages

Using specialized procedures and specification-based analysis to reduce the runtime costs of modularity

SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering

On the Practical Need for Abstraction Relations to Verify Abstract Data Type Representations

IEEE Transactions on Software Engineering

Programming pearls

Communications of the ACM

Technical correspondence

Communications of the ACM

Software Evolution and Software Evolution Processes

Annals of Software Engineering

Evolution in software and related areas

IWPSE '01 Proceedings of the 4th International Workshop on Principles of Software Evolution

Abstract Models of Storage

Higher-Order and Symbolic Computation

It was fun

Information Processing Letters - Special issue: Contribution to computing science

On the adequacy of finite equational methods for data type specification

ACM SIGPLAN Notices

Monitors and Concurrent Pascal: a personal history

History of programming languages---II

To use or not to use the goto statement: programming styles viewed from Hoare logic

Science of Computer Programming

Typed tagless final interpreters

SSGIP'10 Proceedings of the 2010 international spring school conference on Generic and Indexed Programming