@misc{Willig2009,
  author    = {Martina Willig},
  title     = {Program equivalences for concurrency abstractions in a concurrent lambda calculus with buffers, cells and futures},
  institution = {Informatik},
  type      = {bachelorthesis},
  pages     = {107},
  year        = {2009},
}