Martim Nicoladelli, J., J. Santanna Batista, J. Luguesi, e M. Finger. ASA-CalcPro: Uma Ferramenta Para O Ensino-Aprendizagem De Cálculo Proposicional. TUIUTI: CIÊNCIA E CULTURA, Vol. 4, nº 42, June 2018, https://interin.utp.br/index.php/h/article/view/1128.