On hierarchies of abstract data types

Initial Algebra Semantics and Continuous Algebras

Joseph A. Goguen, J. W. Thatcher, Eric G. Wagner et al. · Journal of the ACM · 1977 · 803 citations · Full text

Computing, Computer Science, Algebra +12

Programming with abstract data types

Barbara Liskov, Stephen N. Zilles · 1974 · 736 citations · Full text

Computing, Computer Science, Data Structures +10

Fully abstract models of typed λ-calculi

Robin Milner · Theoretical Computer Science · 1977 · 477 citations · Full text

Computing, Computer Science, Programming Languages +13

Putting theories together to make specifications

R. M. Burstall, Joseph A. Goguen · International Joint Conference on Artificial Intelligence · 1977 · 421 citations

Computing, Computer Science, Formal Methods +9

Programming with abstract data types

Barbara Liskov, Stephen N. Zilles · ACM SIGPLAN Notices · 1974 · 395 citations · Full text

Computing, Computer Science, Data Structures +10