An axiomatic proof technique for parallel programs I
Distribution of the number of citations over years.