Castagna et al. (1993)
Castagna G., Ghelli G. and Longo G. (1993)
A semantics for $%l$-early: a calculus with overloading and early binding
In [_BG93], pp. 107-123