@book{21982,
	author = {Harry, Andrew},
	title = {Formal methods fact file :},
	publisher = {John Wiley & Sons,},
	year = { 1996},
	address = {Chichester:},
	note = {Includes glossary and index}
}