A study of algebraic specification techniques and the implementation of abstract data types (1985)

by M J Oudshoorn