@inproceedings{Hopcroft_1969_2,
    title = {Some techniques for proving certain simple programs optimal},
    volume = {58},
    url = {http://dx.doi.org/10.1109/SWAT.1969.21},
    doi = {10.1109/swat.1969.21},
    booktitle = {10th Annual Symposium on Switching and Automata Theory (swat 1969)},
    publisher = {IEEE},
    author = {Hopcroft, J. E. and Kerr, L. R.},
    year = {1969},
    month = {oct},
    pages = {36–45},
    date-added = {2024-10-11 15:58:44 +0100}
}

@inproceedings{Hopcroft_1969_2, title = {Some techniques for proving certain simple programs optimal}, volume = {58}, url = {http://dx.doi.org/10.1109/SWAT.1969.21}, doi = {10.1109/swat.1969.21}, booktitle = {10th Annual Symposium on Switching and Automata Theory (swat 1969)}, publisher = {IEEE}, author = {Hopcroft, J. E. and Kerr, L. R.}, year = {1969}, month = {oct}, pages = {36–45}, date-added = {2024-10-11 15:58:44 +0100} }