@book {DBLP:books/mit/pfenning92/BertolinoMPT92,
	title = {The Type System of LML},
	series = {Types in Logic Programming},
	year = {1992},
	pages = {313-332},
	author = {Bruno Bertolino and Luigi Meo and Dino Pedreschi and Franco Turini}
}
@conference {DBLP:conf/fgcs/BertolinoMMNPT88,
	title = {A Progress Report on the LML Project},
	booktitle = {FGCS},
	year = {1988},
	pages = {675-684},
	author = {Bruno Bertolino and Paolo Mancarella and Luigi Meo and Luca Nini and Dino Pedreschi and Franco Turini}
}
