An introduction to the algebraic specification of abstract data types. Available online (1989)

by Jean Baillie