Expressing and Processing Constraints in Eiffel. - Asokan Suppiah; Ted Lawson; Andrew C. Jones (TOOLS (13), 1994)