Module algebra for relational specifications
Jan Aldert Bergstra · Utrecht University Repository (Utrecht University) · 1986
Module algebra is described as a parametrised data type that takes a three sorted parameter, involving signatures, renamings and atomic specifications. An actual parameter describing relational specifications is given and a biinterpretation model is made for the resulting specification.