Lorenzo Bettini Betti Venneri Viviana Bono MOMI: a calculus for mobile mixins. 143-190 2005 42 Acta Inf. 2-3 http://dx.doi.org/10.1007/s00236-005-0176-0 db/journals/acta/acta42.html#BettiniVB05