The design of a relational database systems with abstract data types for domains - Osborn, SL; Heaven, TE (ACM Transactions on Database Systems, 1988)