Unifying initial and loose semantics of parameterized specifications in an arbitrary institution
Authors:
Hubert Baumeister
Affiliations:
-
Venue:
TAPSOFT '91 Proceedings of the international joint conference on theory and practice of software development on Colloquium on trees in algebra and programming (CAAP '91): vol 1