B.  Bertolino, Meo, L., Pedreschi, D., and Turini, F., The Type System of LML. 1992, pp. 313-332.

B.  Bertolino, Mancarella, P., Meo, L., Nini, L., Pedreschi, D., and Turini, F., ?A Progress Report on the LML Project?, in FGCS, 1988, pp. 675-684.