Using logical techniques for making better decisions - Dickson, Douglas N. (John Wiley, 1983)