A Semântica de Instruções: proposta de um procedimento de construção de sistemas lógicos, em vista de seu uso crítico. - Fabricio Borges Macedo (2016)