Ehrich, H. - D., A. Sernadas, and C. Sernadas,
"Abstract Object Types for Databases",
Advances in Object-Oriented Database Systems: LNCS 334, Springer, Berlin, 1988, pp. 144-149, 1988.
Abstract
Download: 1988AbstrObjTypes.pdf (549.79 KB)
Ehrich, H. - D., and A. Sernadas,
"Algebraic Implementation of Objects over Objects",
Proc REX Workshop ``Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness'': LNCS 430, Springer, Berlin, pp. 239-266, 1990.
Abstract
Download: 1990AlgImplem.pdf (479.42 KB)
Ehrich, H. - D.,
"My ADT Shrine, invited lecture",
Selected Papers from WADT 2010, Till Mossakowski and Hans-Jörg Kreowski, eds., Bremen, Springer LNCS 7137, pp. 13-24, 2012.
Abstract
Download: 2012LNCS7137WADT10.pdf (498.99 KB)
Ehrich, H. - D., A. Sernadas, and C. Sernadas,
"Objects, Object Types, and Object Identification",
Categorical Methods in Computer Science: LNCS 393, Springer, Berlin, pp. 142-156, 1989.
Abstract
Download: 1989ObjOtypOid.pdf (313.66 KB)