The algebraic specification of abstract data types

Computation: Finite and Infinite Machines.

D. A. Clarke, Marvin Minsky · American Mathematical Monthly · 1968 · 2.6K citations

Computing, Computer Science, Automation +6

A Transformation System for Developing Recursive Programs

R. M. Burstall, John Darlington · Journal of the ACM · 1977 · 1.3K citations · Full text

Computing, Computer Science, Compilers +10

A technique for software module specification with examples

David Lorge Parnas · Communications of the ACM · 1972 · 737 citations · Full text

Computing, Computer Science, Requirements Engineering +14

Programming with abstract data types

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

Computing, Computer Science, Data Structures +10

General recursive functions of natural numbers

S. C. Kleene · Mathematische Annalen · 1936 · 595 citations

Natural Sciences, Mathematics, Algebra +10