The paper nrovides the theoretical foundation for a new algebraic specification
method, using parameterized specifications and algebraic domain equations,
an algebraic analogon to the domain equations used in Scott's theory of data types.
The main result is that algebraic domain equations always have an initial solution.
Also, a parametric version of algebraic domain equations is investigated. In either
case, there is a simple syntactic solution method