Correctness of data representations.
Published: 1976
Language: eng
Notes: Thesis (Ph. D.)--The Queen's University of Belfast, 1976.