Software Abstractions Logic Languages and Analysis - JACVSON (DANIEL) (N.DELHI PHI)