Egidio Astesiano, Elena Zucca: D-oids: A Model for Dynamic Data-Types. Math. Struct. Comput. Sci. 5(2): 257-282 (1995)