Duane Szafron SPECTalk: an Object-Oriented Data Specification Language. 123-137 1992 conf/tools/8-1992 TOOLS (8) db/conf/tools/tools08-1992.html#Szafron92