@book{18102,
	author = {Moschovakis, Yiannis N.},
	title = {Elementary induction on abstract structures},
	publisher = {Dover Publications},
	year = {2008},
	address = {Mineola, New York}
}