Um modelo para processo ensino-aprendizagem de procedimentos lógicos em diversos domínios. - Eliane Moreira Sa de Souza (2000)