Data Type Specification: Parameterization and the Power of Specification Techniques

James W. Thatcher Eric G. Wagner Jesse B. Wright

Published in: STOC (1978)

Keyphrases

data types
data model
user defined
specification language
high level
object oriented
conceptual model
object relational