A.  Albano, Giannotti, F., Orsini, R., and Pedreschi, D., ?The Type System of Galileo?, in Data Types and Persistence (Appin), 1985, pp. 101-119.