@book{65933,
	author = {Monin, Jean-Francois and Hinchey, Michael G.},
	title = {Understanding formal methods /},
	publisher = {Springer,},
	year = {c2003},
	address = {Berlin, Germany :}
}