doi dblp An Introduction to Verification of Visualization Techniques Tiago Etiene | Robert M. Kirby | Cláudio T. Silva