Preface to special issue on software verification
Distribution of the number of citations over years.