Algebraic Specification of Modules and Configuration Families

Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Dean Jacobs, Anno Langen, Francesco Parisi-Presicce. Algebraic Specification of Modules and Configuration Families. Elektronische Informationsverarbeitung und Kybernetik, 25(5/6):205-232, 1989.

Abstract

Abstract is missing.