Sedat Akyürek Kenneth Salem Management of Partially Safe Buffers. 394-407 1995 44 IEEE Trans. Computers 3 db/journals/tc/tc44.html#AkyurekS95