"On the Operational Interpretation of Complex Types."

Qing-Ping Tan, Huo-Wang Chen (1991)
a service of Schloss Dagstuhl - Leibniz Center for Informatics