@book{24275,
	author = {Leo},
	title = {Rewriting Techniques & Application}
}