1. Fundamentos da lógica anotada: 1992;ABE J. M.,1992
2. Sistema de Gestão Ambiental,2004
3. Remarks on annotated logic;COSTA N. C. A.;Zeitschrift für Mathematische Logik und Grundlagen der Mathematik,1991
4. Lógica paraconsistente aplicada;COSTA N. C. A.,1999