@book{46165,
	author = {JIFENG},
	title = {PROVABLY CORRECT SYSTEMS: MODELLING OF COMMUNICATION  LANGUAGE & DESIGN OF OPTIMIZED COMPILERS},
	publisher = {MCGRAW HILL},
	year = {1994},
	edition = {1},
	note = {690}
}