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