%0 Journal Article %1 journals/cacm/RandellR63 %A Randell, Brian %A Russell, L. J. %D 1963 %J Commun. ACM %K dblp %N 8 %P 446 %T Certification of algorithms 63, 64 and 65, partition, quicksort, and find. %U http://dblp.uni-trier.de/db/journals/cacm/cacm6.html#RandellR63 %V 6

@article{journals/cacm/RandellR63, added-at = {2018-11-06T00:00:00.000+0100}, author = {Randell, Brian and Russell, L. J.}, biburl = {https://www.bibsonomy.org/bibtex/2d2ae25493c2c65bbd29666812a94ee16/dblp}, ee = {https://doi.org/10.1145/366707.367561}, interhash = {0079d2e7dba28e12df6319485fef98c2}, intrahash = {d2ae25493c2c65bbd29666812a94ee16}, journal = {Commun. ACM}, keywords = {dblp}, number = 8, pages = 446, timestamp = {2018-11-07T12:02:11.000+0100}, title = {Certification of algorithms 63, 64 and 65, partition, quicksort, and find.}, url = {http://dblp.uni-trier.de/db/journals/cacm/cacm6.html#RandellR63}, volume = 6, year = 1963 }