On the Operational Interpretation of Complex Types.

Qing-Ping Tan Huo-Wang Chen On the Operational Interpretation of Complex Types. 57-70 1991 conf/fsttcs/1991 FSTTCS db/conf/fsttcs/fsttcs91.html#TanC91 http://dx.doi.org/10.1007/3-540-54967-6_61