@TechReport{Szypersky:Omohundro:Murer:93,
    Author = "Clemens Szypersky and Stephen Omohundro and Stephan Murer",
    Title = "Engineering a Programming Language: The Type and Class System of {Sather}",
    Number = "TR-93-064",
    Year = 1993,
    Month = Nov,
    Institution = "The International Computer Science Institute",
    Address = "Berkeley, Ca",
}

@InProceedings{Bruce:Fiech:Peteresen:97,
    Author = "Kim Bruce and A. Fiech and L. Peteresen",
    Title = "Subtyping is not a good match for object-oriented languages",
    CrossRef = "ECOOP:97",
}


@Misc{Bruce:97,
    Author = "Kim Bruce",
    Title = "Increasing {\Lang{Java}}'s Expressiveness with {thisType}
            and match-bounded polymorphism",
    Year = 1997,
    HowPublished = "Available on the author's web page%
        \footnote{\texttt{www.cs.williams.edu/\textasciitilde kim}}",
}

@InProceedings{Bruce:Fiech:Schuett:vanGent:95,
    Author = "Kim B. Bruce and Adrian Fiech and Angela Schuett and Robert van Gent",
    Title = "Poly\uppercase{TOIL}: A type-safe polymorphic object-oriented language",
    pages = "27--51",
    crossref = "ECOOP:95",
}

@InProceedings{Bruce:Fiech:Petersen:97,
    Author = "Kim B. Bruce and Adrian Fiech and Leaf Petersen",
    Title = "Subtyping is not a good ``Match'' for object-oriented languages",
    crossref= "ECOOP:97",
}

@TechReport{Bruce:96,
    Author = "Kim B. Bruce",
    Title = "Typing in object-oriented languages: Achieving expressiveness and safety",
    Year = 1996
}

@ARTICLE{Bruce:Cardeli:Castagna:96,
  author =       {Kim Bruce and Luca Cardeli and Giuseppe Castagna and The Hopkins Object Group and G. T. Leavens and B. Pierce},
  title =        {On binary methods},
  journal =      {Theory and Practice of Object Systems},
  year =         {1996},
  volume =       {1},
  number =       {3},
}



@INBOOK{Colnet:Liquori:00,
  author  =      {Dominique Colnet and Luigi Liquori},
  title =        {Match-{O}, a dialect of {Eiffel} with Match-Types},
  pages =        {190--201},
  crossref =     {TOOLS:PACIFIC:00},
}
@ARTICLE{Castagna:95,
  author =       {Giuseppe Castagna},
  title =        {Covariance and contravariance: conflict without a cause},
  journal =      TOPLAS,
  year =         1995,
  volume =       17,
  number =       3,
  pages =       "431--447",
}

@inproceedings{Millstein:Chmabers:99,
            Author = "Todd Millstein and Craig Chambers",
            Title = "Modular Statically Typed Multimethods",
            CrossRef = "ECOOP:99",
            Pages = "279--303",
}

@ARTICLE{Gotsman:Surazhsky:01,
  author =      {Craig Gotsman and Vitaly Surazhsky},
  title =       {Guaranteed intersection-free polygon morphing},
  journal =     "Computers \& Graphics",
  year =        2001,
  volume =      25,
  number =      1,
  pages =       "67--75",
  month =       Feb,
}


@INProceedings{Gil:Gutterman:98,
    Author = "Joseph (Yossi) Gil and Zvi Gutterman",
    Title = "Compile Time Symbolic Derivation with {\CC} Templates",
    Pages = "249--262",
    BookTitle = "Proceedings of the 4\textsuperscript{th} Conference on Ojbect-Oriented Technologies and
        Systems (COOTS)",
    Address = "Santa Fe, New Mexico",
    Organization = "USENIX",
    Month = Apr,
    Year = 1998,
}

@InProceedings{Collin:Colnet:Zendra:97,
    Author = "S. Collin and D. Collnet and O. Zendra",
    Title = "The SmallEiffel COmpiler"
    }