Efficiency from Formalization: An Initial Case Study on Archi3D
Distribution of the number of citations over years.