@Unpublished{Joachimski01b,
  author = 	 {Felix Joachimski},
  title = 	 {Confluence of the Coinductive lambda-Calculus},
  note = 	 {Submitted to {\it Theoretical Computer Science}, available from \url{http://www.mathematik.uni-muenchen.de/~joachski}},
  month =	 {September},
  year =	 2001
}