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

(untitled) - Mijajlovic, I; Yang, H