A Hoare-Like Proof System for Analysing the Computation Time of Programs.

Hanne Riis Nielson A Hoare-Like Proof System for Analysing the Computation Time of Programs. 107-136 1987 9 Sci. Comput. Program. 2 db/journals/scp/scp9.html#Nielson87