Update link to "A Scalable, Correct Time-Stamped Stack"