@book{46007,
	author = {International Symposium of Formal Methods Europe and Fitzgerald, John,},
	title = {FME '97 :},
	publisher = {Springer,},
	year = {1997},
	address = {Berlin :}
}