%0 Conference Paper
%B FCT
%D 1981
%T Specifying algebraic data types by domain equations
%A Ehrich, H.-D.
%I Springer LNCS 117
%X 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
%> http://www.ifis.cs.tu-bs.de/sites/default/files/1981FCT-ADE.pdf