J. Martim Nicoladelli, J. Santanna Batista, J. Luguesi, y M. Finger, ASA-CalcPro: uma ferramenta para o ensino-aprendizagem de cálculo proposicional, RTCC, vol. 4, n.º 42, jun. 2018.