Behavioural and abstractor specifications

Fully abstract models of typed λ-calculi

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

Computing, Computer Science, Programming Languages +13

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

A Kernel Language for Algebraic Specification and Implementation.

Donald Sannella, Martin Wirsing · Annals of Telecommunications · 1983 · 156 citations

Computing, Computer Engineering, Computer Science +14

Structured algebraic specifications: A Kernel language

Martin Wirsing · Theoretical Computer Science · 1986 · 138 citations

Computing, Computer Engineering, Computer Science +13