@book(AbadiCardelli,
 author       = "Mart\'{\i }n Abadi and Luca Cardelli",
 year         = "1996",
 title        = "{A Theory of Objects}",
 publisher    = "Springer",
 doi          = "10.1007/978-1-4419-8598-9",
)
@book(AmadioCurien98,
 author       = "Roberto M. Amadio and Pierre-Louis Curien",
 year         = "1998",
 title        = "{Domains and Lambda-Calculi}",
 publisher    = "Cambridge University Press",
 doi          = "10.1017/CBO9780511983504",
)
@article(Bakeld08,
 author       = "Steffen van Bakel and Ugo de'Liguoro",
 year         = "2008",
 title        = "Logical Equivalence for Subtyping Object and Recursive Types",
 journal      = "Theory Comput. Syst.",
 volume       = "42",
 number       = "3",
 pages        = "306--348",
 doi          = "10.1007/s00224-007-9079-5",
)
@article(BCD,
 author       = "H. Barendregt and M. Coppo and M. Dezani-Ciancaglini",
 year         = "1983",
 title        = "{A Filter Lambda Model and the Completeness of Type Assignment}",
 journal      = "Journal of Symbolic Logic",
 volume       = "48",
 number       = "4",
 pages        = "931--940",
 doi          = "10.2307/2273659",
)
@unpublished(BessaiDDM14,
 author       = "Jan Bessai and Boris D{\"u}dder and Andrej Dudenhefer and Moritz Martens",
 year         = "2014",
 title        = "Delegation-based Mixin Composition Synthesis",
 url          = "http://www-seal.cs.tu-dortmund.de/seal/downloads/papers/paper-ITRS2014.pdf",
)
@inproceedings(BonoPS99,
 author       = "Viviana Bono and Amit Patel and Vitaly Shmatikov",
 year         = "1999",
 title        = "A Core Calculus of Classes and Mixins",
 booktitle    = "ECOOP",
 series       = "Lecture Notes in Computer Science",
 volume       = "1628",
 pages        = "43--66",
 doi          = "10.1007/3-540-48743-3\_3",
)
@phdthesis(BrachaThesis,
 author       = "Gilad Bracha",
 year         = "1992",
 title        = "{The Programming Language JIGSAW: Mixins, Modularity and Multiple Inheritance}",
 school       = "Univeristy of Utha",
)
@inproceedings(BrachaC90,
 author       = "Gilad Bracha and William R. Cook",
 year         = "1990",
 title        = "Mixin-based Inheritance",
 booktitle    = "OOPSLA/ECOOP",
 pages        = "303--311",
 doi          = "10.1145/97945.97982",
)
@book(BruceBook,
 author       = "Kim B. Bruce",
 year         = "2002",
 title        = "{Foundations of Object-Oriented Languages - Types and Semantics}",
 publisher    = "{MIT} Press",
)
@inproceedings(CHOM89,
 author       = "Peter S. Canning and William R. Cook and Walter L. Hill and Walter G. Olthoff and John C. Mitchell",
 year         = "1989",
 title        = "F-Bounded Polymorphism for Object-Oriented Programming",
 booktitle    = "{FPCA}",
 pages        = "273--280",
 doi          = "10.1145/99370.99392",
)
@inproceedings(Cardelli84,
 author       = "Luca Cardelli",
 year         = "1984",
 title        = "A Semantics of Multiple Inheritance",
 booktitle    = "Semantics of Data Types, Sophia-Antipolis, France, June 27-29, 1984, Proceedings",
 series       = "LNCS",
 volume       = "173",
 pages        = "51--67",
 doi          = "10.1016/0890-5401(88)90007-7",
)
@inproceedings(CookHC90,
 author       = "William R. Cook and Walter L. Hill and Peter S. Canning",
 year         = "1990",
 title        = "Inheritance Is Not Subtyping",
 booktitle    = "POPL'90",
 publisher    = "{ACM} Press",
 pages        = "125--135",
 doi          = "10.1145/96709.96721",
)
@inproceedings(DP2000,
 author       = "Rowan Davies and Frank Pfenning",
 year         = "2000",
 title        = "{Intersection Types and Computational Effects}",
 booktitle    = "ICFP",
 pages        = "198--208",
 doi          = "10.1145/351240.351259",
)
@inproceedings(deLiguoro01,
 author       = "Ugo de'Liguoro",
 year         = "2001",
 title        = "Characterizing Convergent Terms in Object Calculi via Intersection Types",
 booktitle    = "TLCA",
 pages        = "315--328",
 doi          = "10.1007/3-540-45413-6\_25",
)
@unpublished(UdLTC2014,
 author       = "Ugo de'Liguoro and Tzu chun Chen",
 year         = "2014",
 title        = "{Semantic Types for Classes and Mixins}",
 url          = "http://www.di.unito.it/~deligu/papers/UdLTC14.pdf",
)
@incollection(Dezani-Giovannetti-deLiguoro:Tokyo98,
 author       = "Mariangiola Dezani-Ciancaglini and Elio Giovannetti and Ugo de' Liguoro",
 year         = "1998",
 title        = "{{I}ntersection Types, Lambda-models and {B}\"ohm Trees}",
 booktitle    = "MSJ-Memoir Vol. 2 ``Theories of Types and Proofs''",
 volume       = "2",
 publisher    = "Mathematical Society of Japan",
 pages        = "45--97",
 url          = "http://www.di.unito.it/~dezani/papers/11.ps",
)
@article(KiselyovLaemmel05,
 author       = "Oleg Kiselyov and Ralf L{\"{a}}mmel",
 year         = "2005",
 title        = "Haskell's overlooked object system",
 journal      = "CoRR",
 volume       = "abs/cs/0509027",
)
@inproceedings(OderskyZ05,
 author       = "Martin Odersky and Matthias Zenger",
 year         = "2005",
 title        = "Scalable component abstractions",
 booktitle    = "OOPSLA",
 publisher    = "ACM",
 pages        = "41--57",
 doi          = "10.1145/1094811.1094815",
)
@incollection(OliveiraSLC13,
 author       = "Bruno C d S Oliveira and Tijs Van Der Storm and Alex Loh and William R Cook",
 year         = "2013",
 title        = "Feature-Oriented programming with object algebras",
 booktitle    = "ECOOP",
 publisher    = "Springer",
 pages        = "27--51",
 doi          = "10.1007/978-3-642-39038-8\_2",
)
@book(Osmani12,
 author       = "Addy Osmani",
 year         = "2012",
 title        = "Learning JavaScript Design Patterns",
 publisher    = "O'Reilly Media, Inc.",
)
@incollection(Ostermann02,
 author       = "Klaus Ostermann",
 year         = "2002",
 title        = "Dynamically composable collaborations with delegation layers",
 booktitle    = "ECOOP",
 publisher    = "Springer",
 pages        = "89--110",
 doi          = "10.1007/3-540-47993-7\_4",
)
@inproceedings(JR13,
 author       = "Jakob Rehof",
 year         = "2013",
 title        = "{Towards Combinatory Logic Synthesis}",
 booktitle    = "BEAT'13, 1st International Workshop on Behavioural Types",
 publisher    = "ACM",
)
@article(RoweB14,
 author       = "Reuben N. S. Rowe and Steffen van Bakel",
 year         = "2014",
 title        = "Semantic Types and Approximation for Featherweight Java",
 journal      = "Theor. Comput. Sci.",
 volume       = "517",
 pages        = "34--74",
 doi          = "10.1016/j.tcs.2013.08.017",
)