Module algebra
Jan Aldert Bergstra, Jan Heering, Paul Klint · Journal of the ACM · 1990
An axiomatic algebraic calculus of modules is given that is based on the operators combination/union, export, renaming, and taking the visible signature . Four different models of module algebra are discussed and compared.