"Integrating Constraints with an Object-Oriented Language"
