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