@book{152217,
	author = {HAREL(DAVID) KOZEN (DEXTER)GERZY  TIURYN},
	title = {Dynamic Logic },
	publisher = { PHI },
	address = {N.DELHI }
}