@article {CunhaPacheco:08,
	title = {Algebraic Specialization of Generic Functions for Recursive Types},
	journal = {Electronic Notes in Theoretical Computer Science},
	volume = {229},
	number = {5},
	year = {2011},
	note = {n/a},
	pages = {57{\textendash}74},
	abstract = {n/a},
	url = {publications/msfp08.pdf},
	author = {A. Cunha and Hugo Pacheco}
}