@book{13926,
	author = {STOREY, NEIL},
	title = {SAFETY - CRITICAL COMPUTER SYSTEMS / },
	publisher = {ADDISON - WESLEY PUBLISHING COMPANY ، },
	year = {1996},
	address = {[S.N] : }
}