@book{26351,
	author = {Harel, David},
	title = {Dynamic Logic},
	publisher = {Prentice-Hall},
	year = {2007},
	address = {New Delhi}
}