@book{40782,
	author = {Harel, David and Kozen, Dexter},
	title = {Dynamic logic /},
	publisher = {Prentice - Hall of India,},
	year = {2007},
	address = {New Delhi :}
}