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