000			00378nam a22001337a 4500
082			_a519.92 _bBRA
100			_aBraffort, P ed.
245			_aComputer programming and formal systems / _cedited by P Braffort and D Hirschberg
260			_aLondon : _bNorth holland publishing, _c1970.
300			_a161p. :
650			_aComputer system
700			_aHirschberg, D
942			_cBK
999			_c525570 _d525570