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