Virgil D. Gligor Architectural Implementations of Abstract Data Type Implementation. 20-30 1979 ISCA db/conf/isca/isca79.html#Gligor79