Inserting Safe Memory Reuse Commands into ML−like Programs - Lee, O; Yang, H; Yi, K (Springer−Verlag, 2003)