On the Most Recent Property of Algol-Like Programs

A polynomial determination of the most recent property in pascal-like program

ACM '86 Proceedings of 1986 ACM Fall joint computer conference

Ten Years of Hoare's Logic: A Survey—Part I

ACM Transactions on Programming Languages and Systems (TOPLAS)

Optimal interprocedural program optimization: a new framework and its application

Optimal interprocedural program optimization: a new framework and its application

On revival of Algol-concepts in modern programming and specification languages

Formal methods and hybrid real-time systems

Some Methodological Remarks Inspired by the Paper “On inner classes” by A. Igarashi and B. Pierce

Fundamenta Informaticae