Computer Science - Tucker, Allen B. (Danvers Chapman and hall/crc, 2004)