John E. Hopcroft, L. R. Kerr. Some Techniques for Proving Certain Simple Programs Optimal. In Conference Record of 1969 Tenth Annual Symposium on Switching and Automata Theory, 15-17 October 1969, Waterloo, Ontario, Canada. pages 36-45, IEEE, 1969.
@inproceedings{HopcroftK69, title = {Some Techniques for Proving Certain Simple Programs Optimal}, author = {John E. Hopcroft and L. R. Kerr}, year = {1969}, tags = {e-science}, researchr = {https://researchr.org/publication/HopcroftK69}, cites = {0}, citedby = {0}, pages = {36-45}, booktitle = {Conference Record of 1969 Tenth Annual Symposium on Switching and Automata Theory, 15-17 October 1969, Waterloo, Ontario, Canada}, publisher = {IEEE}, }