TY  - BOOK
AU  - Jacvson  (Daniel)
TI  - Software Abstractions Logic Languages and Analysis 
U1  - 621.392 JAC  
CY  - New Delhi
PB  -  PHI 
ER  -