The Joy of Sets.

@inproceedings{DBLP:conf/dbpl/ConnorABCKM93,
  author    = {Richard C. H. Connor and
               Malcolm P. Atkinson and
               Sonia Berman and
               Quintin I. Cutts and
               Graham N. C. Kirby and
               Ronald Morrison},
  editor    = {Catriel Beeri and
               Atsushi Ohori and
               Dennis Shasha},
  title     = {The Joy of Sets},
  booktitle = {Database Programming Languages (DBPL-4), Proceedings of the Fourth
               International Workshop on Database Programming Languages - Object
               Models and Languages, Manhattan, New York City, USA, 30 August
               - 1 September 1993},
  publisher = {Springer},
  series    = {Workshops in Computing},
  year      = {1993},
  isbn      = {3-540-19853-9},
  pages     = {417-433},
  ee        = {db/conf/dbpl/ConnorABCKM93.html},
  crossref  = {DBLP:conf/dbpl/93},
  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-5 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

[ACO85]

Antonio Albano, Luca Cardelli, Renzo Orsini: Galileo: A Strongly-Typed, Interactive Conceptual Language. ACM Trans. Database Syst. 10(2): 230-260(1985)

[ALP+91]

Malcolm P. Atkinson, Christophe Lécluse, Paul Philbrow, Philippe Richard: Design Issues in a Map Language. DBPL 1991: 20-32

[BL84]

...

[CBC+90]

Richard C. H. Connor, Alfred L. Brown, Quintin I. Cutts, Alan Dearle, Ronald Morrison, John Rosenberg: Type Equivalence Checking in Persistent Object Systems. POS 1990: 154-167

[DD85]

James E. Donahue, Alan J. Demers: Data Types Are Values. ACM Trans. Program. Lang. Syst. 7(3): 426-445(1985)

[Deu90]

O. Deux: The Story of O2. IEEE Trans. Knowl. Data Eng. 2(1): 91-108(1990)

[KCC+92]

Graham N. C. Kirby, Richard C. H. Connor, Quintin I. Cutts, Ronald Morrison, Alan Dearle, Alex Farkas: Persistent Hyper-Programs. POS 1992: 86-106

[MBC+89]

...

[MP88]

John C. Mitchell, Gordon D. Plotkin: Abstract Types Have Existential Type. ACM Trans. Program. Lang. Syst. 10(3): 470-502(1988)

[MTH89]

...

[SSS+92]

...

[Tur36]

...