publicações selecionadas artigo de conferência Logic training through algorithmic problem solving. Computational Methods in Applied Sciences. 2011 Camila Revival: VDM meets Haskell 2005