Space overhead bounds for dynamic memory management with partial compaction. - Anna Bendersky; Erez Petrank (ACM Trans. Program. Lang. Syst., 2012)