Translucent Abstraction: Safe Views through Invertible Programming (Extended version) - Wang, M; Gibbons, J; Matsuda, K (2009)