A theoretical basis for stepwise refinement and the programming calculus
Distribution of the number of citations over years.