@booklet {SousaCd:06,
	title = {Technical Manual for the Trace Visualiser},
	number = {IVY-TR-5-05},
	year = {2006},
	month = {October},
	publisher = {HASLab/INESC TEC \& University of Minho},
	type = {IVY Technical Report},
	author = {N. Sousa and Jos{\'e} Creissac Campos}
}