@book{65935,
	author = {Brim, LuboÌŒs.},
	title = {Formal methods :},
	publisher = {Springer,},
	year = {2007},
	series = {Lecture notes in computer science},
	address = {New York :}
}