@Misc{            Schlager00,
  author        = {Steffen Schlager},
  title         = {{E}rweiterung der {D}ynamischen {L}ogik um temporallogische
                  {O}peratoren},
  howpublished  = {Studienarbeit, Fakult\"at f\"ur Informatik,
                   Universit\"at Karlsruhe},
  year          = {2000},
  note          = {In German. Available at:
                  \texttt{ftp://i12www.ira.uka.de/~schlager/publications/Studienarbeit.ps.gz}}
}