Dynamic overloading with copy semantics in object-oriented languages: a formal accountLorenzo Bettini, Sara Capecchi and Betti VenneriRAIRO-Theor. Inf. Appl., 43 3 (2009) 517-565DOI: https://doi.org/10.1051/ita/2009008
