@Unpublished{Joachimski02b,
  author = 	 {Felix Joachimski},
  title = 	 {Standardization for the Coinductive Lambda-Calculus},
  note = 	 {Submitted to CSL'02, {\small available from \url{http://www.mathematik.uni-muenchen.de/~joachski}}},
  month =	 {February},
  year =	 2002
}