Formal verification of parallel stream compaction and summed-area table algorithms
scientific article; zbMATH DE number 7369989