@TECHREPORT{R1,
  key    =       {R01},
  AUTHOR =	 {Serge Autexier and Christoph Benzm{\"u}ller and Ramses A. Heckler},
  TITLE =	 {{Das Fallbeispiel `UNIX' --- Dokumentation einer
                  UNIX-Filesystem-Spezifikation mit OWEB}},
  INSTITUTION =	 {Department of Computer Science, Saarland University},
  YEAR =	 1992,
  MONTH =	 "Juli",
  TYPE =	 {Working Paper},
  NUMBER =	 {WP 92/36},
  chrisnote =	 {R1},
  url =		 {www.ags.uni-sb.de/~chris/papers/R1.pdf}
}