Jan A. Bergstra, Jan Heering, Paul Klint. Module Algebra. Journal of the ACM, 37(2):335-372, April 1990. [doi]
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.