@book{39886,
	author = {HAREL AND ETC and NO},
	title = {DYNAMIC LOGIC},
	publisher = {PHI},
	year = {2007},
	edition = {1}
}