We present summation identities for generalized harmonic numbers, which generalize reciprocity laws discovered when studying the algorithm quickselect. Furthermore, we demonstrate how the computer algebra system Sigma can be used in order to find/prove such identities. We also discuss alternating harmonic sums, as well as limiting relations.