@book{3210,
	author = {Bowen, Jonathan P.},
	title = {Applications of formal methods},
	publisher = {Prentice Hall International (Uk) Ltd. :},
	year = {1996.}
}