Towards a specification theory for paraconsistent transitions - Cunha, Juliana Andreia Marques Prazeres da (2023)