Uma abordagem de arquitetura paralela para suporte na extração de conceitos formais - Novais, João Paulo Pereira (2020)