@book{13572,
	author = {D. Harel},
	title = {Algorithmics}
}