Linearizability: a correctness condition for concurrent objects
Distribution of the number of citations over years.