Projeto formal de um mecanismo estendido de suporte à descoberta de serviços em redes móveis ad hoc - Moura, David Fernandes Cruz. (UFRJ, 2003)