Elementary Yet Precise Worst-Case Analysis of Floyd's Heap-Construction Program | Fundamenta Informaticae | DeepDyve