Algebraic constraints for specifications and canonical form results" (draft version), Institut fur Software und Theoretische Informatik, Technische Univ (1982)

by H Ehrig, E G Wagner, J W Thatcher
Venue:in Proc. I Oth Int. Colloq. Automata, Lang. Programming