@conference {DBLP:conf/forte/FioreG94,
	title = {An abstract interpreter for the specification language LOTOS},
	booktitle = {FORTE},
	year = {1994},
	pages = {309-323},
	author = {Franco Fiore and Fosca Giannotti}
}
