Hehner, Eric C R Logic of programming - New Jersey: Prentice Hall International 1984 - 361p. ISBN: 0-13-539966-1 Subjects--Topical Terms: Logic Subjects--Index Terms: Programming Universal Decimal Class. No.: 519.68:510 / M4