@MastersThesis{T1,
  key    =       {T1},
  author =	 {Christoph Benzm{\"u}ller},
  title =	 {{Eine Fallstudie zur Spezifikation von Systemanforderungen in der Spezifikationssprache OBSCURE}},
  school =	 {Departmment of Computer Science, Saarland University, Germany},
  year =	 1994,
  pages =        {1--194},
  CHRISNOTE =	 {T1},
  URL =		 {www.ags.uni-sb.de/~chris/papers/T1.pdf}
}