Douglas D. Dunlop Victor R. Basili Generalizing Specifications for Uniformly Implemented Loops. 137-158 1985 7 ACM Trans. Program. Lang. Syst. 1 http://doi.acm.org/10.1145/2363.2708 db/journals/toplas/toplas7.html#DunlopB85