add reference to vector clock paper