If anyone is interest, I have attached a file which derives the computational formula for the Spearman rank correlation coefficient from the Pearson product moment correlation coefficient substituting ranks for observations. This was done for an algebraically-challenged elementary statistics student, who was looking for extra credit, so the derivation is painfully detailed.