@TechReport{Typelab:98a,
  author = 	 {Marko Luther and Martin Strecker},
  title = 	 {A guided tour through {\sc Typelab}},
  institution =  {Universit{\"a}t Ulm},
  year = 	 1998,
  number =	 {98-03},
  month =	 {January}
}