Development graphs—Proof management for structured specifications

Institutions: abstract model theory for specification and programming

Joseph A. Goguen, R. M. Burstall · Journal of the ACM · 1992 · 988 citations · Full text

Computing, Computer Science, Formal Methods +13

Specifications in an arbitrary institution

Donald Sannella, Andrzej Tarlecki · Information and Computation · 1988 · 226 citations

Computing, Computer Science, Formal Methods +10

Module algebra

J.A. Bergstra, Jan Heering, Paul Klint · Journal of the ACM · 1990 · 169 citations · Full text

Natural Sciences, Computer Science, Mathematics +10

Logical support for modularisation

Răzvan Diaconescu, Joseph A. Goguen, Petros Stefaneas · 1993 · 140 citations · Full text

Computing, Computer Science, Knowledge Representation +5

Essential concepts of algebraic specification and program development

Donald Sannella, Andrzej Tarlecki · Formal Aspects of Computing · 1997 · 101 citations · Full text

Computing, Computer Science, Algebra +15