Mutually Recursive Algebraic Specifications

An algebraic analogue to domain equations as known from denotational semantics is presented. A set of mutually recursive algebraic domain equations is roughly speaking a set of parameterized algebraic specifications applying instances of each other in a recursive fashion. A solution to a set of algebraic domain equations can be constructed by using a new parameter passing technique called recursive parameter passing. The specification method makes sense under an arbitrary institution.