Distributed Simulation: A Case Study in Design and Verification of Distributed Programs
Distribution of the number of citations over years.