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