@book{24971,
	author = {CASEY, CHRIS},
	title = {A PROGRAMMING APPROACH TO FORMAL METHODS / },
	publisher = {MC GRAW - HILL ، },
	year = {1994},
	address = {[S.N] : }
}