Key points are not available for this paper at this time.
A data type specification is a description of the properties of a data abstraction for the benefit of its users and implementers. The data abstraction has realizations, all of which behave in a certain way. It is those properties implied by this behavior which we consider essential; properties specific to some realization are extraneous. The specification problem is to present all of the essential properties and no extraneous ones.
Samuel Kamin (Sat,) studied this question.