@book{46005,
	author = {International Symposium of Formal Methods Europe and Naftalin, Maurice,},
	title = {FME '94 :},
	publisher = {Springer,},
	year = {1994},
	address = {Berlin :}
}