Text this: The Specification of Data Abstractions [C.T.I.] Technical Report TR. 89.10.99