TY  - BOOK
AU  - JIFENG
TI  - PROVABLY CORRECT SYSTEMS: MODELLING OF COMMUNICATION  LANGUAGE & DESIGN OF OPTIMIZED COMPILERS
SN  - 0-534-13014-3
U1  - 005.1 JIF 
PY  - 1994///
PB  - MCGRAW HILL
N1  - 690
ER  -