Fundamentals of computing 1 : logic, problem solving, programs, and computers - Tucker, Allen B. (McGraw-Hill, 1994)