Add vector clocks paper.