Data Refinement with Low−level Pointer Operations - Mijajlovic, I; Yang, H (Proceedings of the 3rd Asian Symposium on Programming Languages and Systems, 2005)