@inproceedings(barnett2004spec,
 author       = {Mike Barnett and K Rustan M Leino and Wolfram Schulte},
 year         = {2004},
 title        = {The {S}pec\# programming system: An overview},
 booktitle    = {International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices},
 organization = {Springer},
 pages        = {49--69},
 doi          = {10.1007/978-3-540-30569-9_3},
)
@inproceedings(LagorioSZ09,
 author       = {Giovanni Lagorio and Marco Servetto and Elena Zucca},
 year         = {2009},
 title        = {Featherweight Jigsaw: {A} Minimal Core Calculus for Modular Composition of Classes},
 editor       = {Sophia Drossopoulou},
 booktitle    = {{ECOOP} 2009 - Object-Oriented Programming, 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {5653},
 publisher    = {Springer},
 pages        = {244--268},
 doi          = {10.1007/978-3-642-03013-0\_12},
)
@article(liquori2008feathertrait,
 author       = {Luigi Liquori and Arnaud Spiwack},
 year         = {2008},
 title        = {FeatherTrait: A modest extension of Featherweight Java},
 journal      = {ACM Transactions on Programming Languages and Systems (TOPLAS)},
 volume       = {30},
 number       = {2},
 pages        = {11},
 doi          = {10.1145/1330017.1330022},
)
@article(Liskov:1994:BNS:197320.197383,
 author       = {Barbara H. Liskov and Jeannette M. Wing},
 year         = {1994},
 title        = {A Behavioral Notion of Subtyping},
 journal      = {ACM Trans. Program. Lang. Syst.},
 volume       = {16},
 number       = {6},
 pages        = {1811--1841},
 doi          = {10.1145/197320.197383},
)
@book(Meyer:1988:OSC:534929,
 author       = {Bertrand Meyer},
 year         = {1988},
 title        = {Object-Oriented Software Construction},
 edition      = {1st},
 publisher    = {Prentice-Hall, Inc.},
 address      = {Upper Saddle River, NJ, USA},
)
@inproceedings(Ofenbeck:2017:SGP:3136040.3136060,
 author       = {Georg Ofenbeck and Tiark Rompf and Markus P\"{u}schel},
 year         = {2017},
 title        = {Staging for Generic Programming in Space and Time},
 booktitle    = {Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences},
 series       = {GPCE 2017},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {15--28},
 doi          = {10.1145/3136040.3136060},
)
@inproceedings(reppy2007metaprogramming,
 author       = {John Reppy and Aaron Turon},
 year         = {2007},
 title        = {Metaprogramming with traits},
 booktitle    = {ECOOP},
 organization = {Springer},
 pages        = {373--398},
 doi          = {10.1007/978-3-540-73589-2_18},
)
@inproceedings(scharli2003traits,
 author       = {Nathanael Sch{\"a}rli and St{\'e}phane Ducasse and Oscar Nierstrasz and Andrew P Black},
 year         = {2003},
 title        = {Traits: Composable units of behaviour},
 booktitle    = {ECOOP},
 volume       = {3},
 organization = {Springer},
 pages        = {248--274},
 doi          = {10.1007/978-3-540-45070-2_12},
)
@article(servetto2014meta,
 author       = {Marco Servetto and Elena Zucca},
 year         = {2014},
 title        = {A meta-circular language for active libraries},
 journal      = {Science of Computer Programming},
 volume       = {95},
 pages        = {219--253},
 doi          = {10.1016/j.scico.2014.05.003},
)
@inproceedings(sheard2002template,
 author       = {Tim Sheard and Simon Peyton Jones},
 year         = {2002},
 title        = {Template meta-programming for {Haskell}},
 booktitle    = {Proceedings of the 2002 ACM SIGPLAN workshop on {Haskell}},
 series       = {Haskell '02},
 organization = {ACM},
 pages        = {1--16},
 doi          = {10.1145/581690.581691},
)