Canonical Constraints for Parameterized Data Types

Eric G. Wagner, Hartmut Ehrig. Canonical Constraints for Parameterized Data Types. Theoretical Computer Science, 50:323-349, 1987.

Abstract

Abstract is missing.