1. Abstract Data Types and Algorithms;Azmoodeh,1988
2. An informal introduction to specifications using CLEAR;Burstall,1981
3. An introduction to OBJ: a language for writing and testing algebraic program specifications;Goguen,1986
4. Smalltalk 80: The Language and its Implementation;Goldberg,1983
5. Abstract data types and the development of data structures;Guttag;CACM,1977