A constructive method for abstract algebraic software specification

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

The algebraic specification of abstract data types

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

Computing, Computer Science, Formal Methods +13

Programming with abstract data types

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

Computing, Computer Science, Data Structures +10

HOPE

R. M. Burstall, David MacQueen, Donald Sannella · 1980 · 351 citations

Nursing, Behavioral Sciences, Psychology +8