"Algebraic Specification of Modules and Configuration Families."

Hartmut Ehrig et al. (1989)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics