@MastersThesis{Areces1996,
  author =       "C. Areces and D. Hirsch",
  school =       "Universidad de Buenos Aires. Facultad de Ciencias
                 Exactas y Naturales. Departamento de Computaci{\'o}n",
  title =        "La {L}{\'o}gica Modal como Herramienta de
                 Ingenier{\'i}a de Software",
  year =         "1996",
}