@article {3928,
	title = {Management of Partially Safe Buffers},
	journal = {IEEE Transactions on Computers},
	volume = {44},
	year = {1995},
	pages = {394--407},
	doi = {10.1109/12.372032},
	author = {Sedat Aky{\"u}rek and Ken Salem}
}
