Checks and balances: constraint solving without surprises in object-constraint programming languages.

Tim Felgentreff, Todd D. Millstein, Alan Borning, Robert Hirschfeld

Browse the full OOPSLA paper archive.