Tese do DCA sobre $REKT parece boa aqui