000			00562pam a2200181a 44500
008			160408b1985 xxu||||| |||| 00| 0 eng d
082			_a001.6424 _bOb5e
100			_aO'Donnell, Michael J.
245	1		_aEQUATIONAL LOGIC AS A PROGRAMMING LANGUAGE
260			_aCambridge _bMit Pr. _c1985
300			_a297
440			_aMit Press Series In The Foundations Of Computing _v
650			_aProgramming Languages (Electronic Computers)
650			_aLogic, Symbolic And Mathematical
650			_aEquations, Theory Of
964			_gCIRC
997			_aA94216 C
999			_c301251 _d301251