@book{20186,
	author = { Micheal G. Hinchey},
	title = {Applications Of Formal Methods},
	publisher = { Prentice Hall},
	year = {©1995}
}