@mastersthesis{Miranda:msc,
  author = "Miranda, H.",
  month = may,
  school = "Faculdade de Ciências da Universidade de Lisboa",
  title = "Plataforma de suporte ao desenvolvimento e composição de malhas de
protocolos",
  year = "2001"
}