@conference{bidi,
  title = "Translucent Abstraction: Safe Views through Invertible Programming (Extended version)",
  author = "Meng Wang and Jeremy Gibbons and Kazutaka Matsuda",
  year = "2009",
}