Logic for an overcast Tuesday - Rafalko, Robert J. (Wadsworth, 1990)