Added reference to Scott McKay's CACM paper.