On the Relationship Between Algebraic Module Specifications and Program Modules
Authors:
Michael Löwe;Hartmut Ehrig;Werner Fey;Dean Jacobs
Affiliations:
-;-;-;-
Venue:
TAPSOFT '91 Proceedings of the International Joint Conference on Theory and Practice of Software Development, Volume 2: Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Developmemnt (CCPSD)