@book{23666,
	author = {DAVID, JEAN MARC and KRIVINE, JEAN PANL},
	title = {SECOND GENERATION EXPORT SYSTEMS / },
	publisher = {SPRINGER - VERLAG ، },
	year = {1993},
	address = {[S.N] : }
}