Cited Scott McKay's CACM paper.
Added bibliography commands.