Martim Nicoladelli, J., Santanna Batista, J., Luguesi, J. e Finger, M. 2018. ASA-CalcPro: uma ferramenta para o ensino-aprendizagem de cálculo proposicional. TUIUTI: CIÊNCIA E CULTURA. 4, 42 (jun. 2018).