================================================================================ P9407 P.H. Rodenburg "Module algebra for initial algebra semantics" It is shown that specification modules may be interpreted by a free functor construction on arbitrary algebras in such a way that most of the laws of the module algebra of Bergstra, Heering and Klint are satisfied; in particular, the normal form theorem for closed module expressions holds. By way of conclusion, two explications of parameter passing are pointed out.