@book{21149,
	author = {RATCLIFF, BRYAN},
	title = {INTRODUCING SPECIFICATION USING Z: A PRACTICAL CASE STUDY APPROACH / },
	publisher = {MC GRAW - HILL ، },
	year = {1993},
	address = {[S.N] : }
}