Fundamentals of computing I logic problem solving programs and computers - Tucker, Allen B (et al) & Garnick, David K (McGraw-Hill, Inc., New York, 1992)