@Article{johnsen08jlap,
  author = {Einar Broch Johnsen and Ingrid Chieh Yu},
  title = {Backwards Type Analysis of Asynchronous Method
                  Calls},
  journal = {Journal of Logic and Algebraic Programming},
  year = 2008,
  volume = 77,
  pages = {40--59}
}