Muffy Thomas The Storage and Access Structure of Algebraically Specified Data Types. 1986 ADT db/conf/adt/adt1986.html#Thomas86