Quantitative program reasoning with graded modal types
Distribution of the number of citations over years.