TY  - BOOK
AU  - JACVSON  (DANIEL)
TI  - Software Abstractions Logic Languages and Analysis 
U1  - 621.392JAC 
CY  - N.DELHI 
PB  -  PHI 
ER  -