Algebraic specifications with generating constraints (1983)

by H Ehrig, E G Wagner, J W Thatcher
Venue:In Proc. 10th Intl. Colloq. on Automata, Languages and Programming