Ten Years of Hoare's Logic: A Survey—Part I
Distribution of the number of citations over years.