Toward formal development of programs from algebraic specifications: Implementations revisited
Distribution of the number of citations over years.