Abstract data types in databases: Specification, manipulation and access | IEEE Conference Publication | IEEE Xplore