Programming logic formulation. - Farrell, Joyce (Thomson Course Technology, 2008)