@book{78246,
	author = {Liu, Shaoying and Araki, Keijiro},
	title = {Formal methods and software engineering},
	publisher = {Sharpe Professional,},
	year = {2008},
	address = {New York,USA:}
}