Stefan Van Baelen Johan Lewi Eric Steegmans Bart Swennen Constraints in Object-Oriented Analysis. 393-407 1993 conf/isotas/1993 ISOTAS db/conf/isotas/isotas1993.html#BaelenLSS93