@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}
}
