Almeida PS.? 1997.??Balloon types: Controlling sharing of state in data types. ECOOP'97?Object-Oriented Programming. :32?59.