Randomly pick between Lamport and Dijkstra papers archives