A Proof System for Communicating Sequential Processes
Distribution of the number of citations over years.