Luigi Liquori Arnaud Spiwack FeatherTrait: A modest extension of Featherweight Java. 2008 30 ACM Trans. Program. Lang. Syst. 2 http://doi.acm.org/10.1145/1330017.1330022 db/journals/toplas/toplas30.html#LiquoriS08