@book{317067,
	author = {Harel D. and Harel D.; Kozen D. & Tiuryn J.},
	title = {Dynamics Logic},
	publisher = {Prentice Hall Of India}
}