Data processing logic - Saret, Laura (McGraw-Hill, 1984)