Annual Review in Automatic ProgrammingMark I. Halpern, William C. Mcgee, Louis Bolliet · First published 1971Open the Tome
Annual Review in Automatic Programming 5Mark I. and Christopher J. Shaw [Eds] Halpern · First published 1969Open the Tome
