@TechReport{Areces1996a,
  author =       "C. Areces and D. Hirsch",
  institution =  "Universidad de Buenos Aires. Facultad de Ciencias
                 Exactas y Naturales. Departamento de Computaci{\'o}n",
  title =        "Modal Logic as a Software Engineering Tool",
  year =         "1996",
}