Translucent Abstraction: Safe Views through Invertible Programming (Extended version) (2009)

(untitled) - Wang, M; Gibbons, J; Matsuda, K