Fundamentals of computing I : logic, problem solving, programs, and computers - Tucker, Allen B. (McGraw-Hill series in computer science., 1995)