Kourie, D.G.
(Computer Society of South Africa (on behalf of SAICSIT), 1989)
A proposal for defining abstractions and refinements is given in terms of three-valued logic applied to a
domain of discourse consisting of a property and an entity set. Definitions for several related concepts
flow ...