An implementation of an efficient algorithm for bisimulation equivalence
Distribution of the number of citations over years.