Some Techniques for Proving Certain Simple Programs Optimal

John E. Hopcroft, L. R. Kerr

Browse the full FOCS paper archive.