Rohit Parikh, Laxmi Parida, Vaughan R. Pratt. Sock Sorting: An Example of a Vague Algorithm. Logic Journal of the IGPL, 9(5):687-692, 2001. [doi]
@article{ParikhPP01,
title = {Sock Sorting: An Example of a Vague Algorithm},
author = {Rohit Parikh and Laxmi Parida and Vaughan R. Pratt},
year = {2001},
url = {http://www3.oup.co.uk/igpl/Volume_09/Issue_05/#parikh},
researchr = {https://researchr.org/publication/ParikhPP01},
cites = {0},
citedby = {0},
journal = {Logic Journal of the IGPL},
volume = {9},
number = {5},
pages = {687-692},
}