Logical systems 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

Completeness of many-sorted equational logic

Joseph A. Goguen, José Meseguer · ACM SIGPLAN Notices · 1981 · 212 citations

Computing, Computer Science, Mathematics +15

Toward formal development of programs from algebraic specifications: Implementations revisited

Donald Sannella, Andrzej Tarlecki · Acta Informatica · 1988 · 189 citations

Computing, Computer Engineering, Computer Science +14

Module algebra

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

Natural Sciences, Computer Science, Mathematics +10