A correctness proof of parallel scan. Parallel Processing Letters (0)

by J O'Donnell