Convergence of an annealing algorithm. - Miranda Lundy; Alistair I. Mees (Math. Program., 1986)