formal specification of computational structures.
Published: 1987
Language: eng
Notes: Thesis (Ph. D.)--The Queen's University of Belfast, 1987.