Some Techniques for Proving Certain Simple Programs Optimal - John E. Hopcroft; L. R. Kerr (SWAT, 1969)