Proving Liveness Properties of Concurrent Programs
Distribution of the number of citations over years.