@book{27949,
	author = {Ciancaglini/Mariangiola },
	title = {Lectures Notes  in Computer Science 902},
	publisher = {Springer},
	year = {1995},
	address = {New Delhi}
}