A tese de DCA sobre $REKT parece boa aqui