Type: (null)
Journal: Science of Computer Programming
Year: 1987
Pages: 9, 287-306
A theoretical basis for stepwise refinement and the programming calculus
Distribution of the number of citations over years.