@conference {DBLP:conf/db-workshops/AlbanoGOP85, title = {The Type System of Galileo}, booktitle = {Data Types and Persistence (Appin)}, year = {1985}, pages = {101-119}, author = {Antonio Albano and Fosca Giannotti and Renzo Orsini and Dino Pedreschi} }