Algebraic specifications with generating constraints (1983)

by H Ehrig, E G Wagner, J W Thatcher
Venue:In: Proceedings of the 10th International Colloquium on Automata, Languages and Programming, Barcelona, Lecture Notes in Computer Science