Safe procedural implementations of algebraic types

The algebraic specification of abstract data types

John V. Guttag, J. J. Horning · Acta Informatica · 1978 · 521 citations

Computing, Computer Science, Formal Methods +13

Abstract data types and the development of data structures

John V. Guttag · Communications of the ACM · 1977 · 462 citations · Full text

Computing, Computer Science, Data Structures +16

On hierarchies of abstract data types

Martin Wirsing, Peter Pepper, H. Partsch et al. · Acta Informatica · 1983 · 133 citations

Computing, Computer Science, Programming Languages +9

Some extensions to algebraic specifications

Jhon V. Guttag, Ellis Horowitz, David R. Musser · ACM SIGPLAN Notices · 1977 · 34 citations

Computing, Computer Science, Formal Methods +11

The Multiple Assignment Statement

David Gries · IEEE Transactions on Software Engineering · 1978 · 32 citations

Computing, Computer Science, Algorithms +7