Siri

Bruce Horn, Carnegie Mellon University 1991

An object-oriented constraint language using a single abstraction mechanism. A conceptual blend of BETA and Bertrand. The result is similar to Kaleidoscope.

"Constraint Patterns as a Basis for Object-Oriented Constraint Programming", B. Horn, OOPSLA '92 (Sept 1992).