An overview of JML tools and applications
Distribution of the number of citations over years.