Multiple Substitutability Without Affecting the Taxonomy.

@inproceedings{DBLP:conf/edbt/MoerkotteZ92,
  author    = {Guido Moerkotte and
               Andreas Zachmann},
  editor    = {Alain Pirotte and
               Claude Delobel and
               Georg Gottlob},
  title     = {Multiple Substitutability Without Affecting the Taxonomy},
  booktitle = {Advances in Database Technology - EDBT'92, 3rd International
               Conference on Extending Database Technology, Vienna, Austria,
               March 23-27, 1992, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {580},
  year      = {1992},
  isbn      = {3-540-55270-7},
  pages     = {120-135},
  ee        = {http://dx.doi.org/10.1007/BFb0032427},
  crossref  = {DBLP:conf/edbt/92},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

ACM SIGMOD Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An2-2 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD1 or /dvd

References

[1]

Luca Cardelli, Peter Wegner: On Understanding Types, Data Abstraction, and Polymorphism. ACM Comput. Surv. 17(4): 471-522(1985)

[2]

Joseph A. Goguen, David A. Wolfram: On Types and FOOPS. DS-4 1990: 1-22

[3]

Alfons Kemper, Guido Moerkotte: Correcting Anomalies of Standard Inheritance - A Constraint-Based Approach. DEXA 1990: 49-55

[4]

Alfons Kemper, Guido Moerkotte: A Framework for Strong Typing and Type Inference in (Persistent) Object Models. DEXA 1991: 257-263

[5]

Alfons Kemper, Guido Moerkotte, Hans-Dirk Walter, Andreas Zachmann: GOM: A Strongly Typed Persistent Object Model With Polymorphism. BTW 1991: 198-217

[6]

Lynn Andrea Stein: Delegation Is Inheritance. OOPSLA 1987: 138-146