@TECHREPORT{R2,
  key    =       {R02},
  AUTHOR =	 {Christoph Benzm{\"u}ller},
  TITLE =	 {{HDMS--A und OBSCURE in KORSO--- Die Funktionale Essenz von HDMS--A aus
                  Sicht der algorithmischen Spezifikationsmethode --- TEIL 3:
                  Spezifikation der atomaren Funktionen}},
  INSTITUTION =	 {Department of Computer Science, Saarland University},
  YEAR =	 1993,
  TYPE =	 {Technischer Bericht},
  NUMBER =	 {A/06/93},
  ANNOTE =	 "<KORSO>, Heck III, siehe Ben93",
  pages =	 {1--59},
  chrisnote =	 {R2},
  url =		 {www.ags.uni-sb.de/~chris/papers/R2.pdf}
}