A correctness proof of parallel scan (1994)

by John O’Donnell
Venue:Parallel Processing Letters