Constraints in Object-Oriented Analysis. - Stefan Van Baelen; Johan Lewi; Eric Steegmans; Bart Swennen (ISOTAS, 1993)