000			00383nam a2200145Ia 4500
008			180611s9999||||xx |||||||||||||| ||und||
020			_a0-19-859664-2
041			_aen
082			_a510
100			_aINCE, D.C.
245		3	_aAn introduction to Discrete Mathematics and Formal System Spcification
260			_aOxford _bOxford Univ,press _c1990
300			_axii, 349p.
942			_cLL
999			_c5434 _d5434