1. Arrows, Structures and Functors: The Categorical Imperative;Arbib,1975
2. Model Theory;Chang,1973
3. On the theory of specification, implementation and parameterization of abstract data types;Ehrich;J. ACM,1982
4. Fundamentals of Algebraic Specifications 1: Equations and Initial Semantics;Ehrig,1985
5. A Mathematical Introduction to Logic;Enderton,1972