SPECIFICATION USING AN ALGEBRAIC APPROACH
Rod M. Burstall · 1981
Kinds of specification; explicit and implicit. Why specifications can be clearer than code. Data types and induction; the algebraic approach. Modularity; libraries and specifications, and the need for parameterisation. Independence from the underlying logical language. Implementations; they too should be modular. Some language design efforts attempting to meet these goals.