@book{24781,
	author = {DAHI, OLE-JOHAN},
	title = {VERIFIABLE PROGRAMMING / },
	publisher = {PRENTICE HALL ، },
	year = {1992},
	address = {[S.N] : }
}