PredLogic - Pospesel, Mark (Prentice Hall, 2003)