Wilk, Michael R. "Equate: an object-oriented constraint solver" pp286-298

[SIGPLAN] (1991) SIGPLAN Notices 26(11) November 1991  

Languages mentioned EQUATE {0}