Notations for abstract data types.
Published: 1985
Language: eng
Notes: Thesis (Ph. D.)--The Queen's University of Belfast, 1985.