Trabalho baseado em experiências desenvolvidas nos cursos de graduação e pós-graduação em ciência da computação da UFCG, nos mini-ursos do ERMAC 2005 e WECIQ 2006. O Texto do livro pode ser apoiado pelo software ZENO desenvolvido pelo grupo de pesquisa IQUANTA (http://www.iquanta.org.br).