Constraint patterns as a basis for object oriented programming (1992)

by B HORN
Venue:Sigplan Not