SOFTWARE ABSTRACTIONS : LOGIC LANGUAGE AND ANALYSIS - JACKSON (PHI, 2009)