Patrick J. Hayes, Gary G. Hendrix. A Logical View of Types. In Michael L. Brodie, Stephen N. Zilles, editors, Proceedings of the Workshop on Data Abstraction, Databases and Conceptual Modelling, Pingree Park, Colorado, June 23-26, 1980. Volume 11 of pages 128-130, ACM Press, 1980. [doi]
Abstract is missing.