Manuel Lerman Richard Watnick Computable choice functions for computable linear orderings. 485-510 2003 49 Math. Log. Q. 5 http://dx.doi.org/10.1002/malq.200310053 db/journals/mlq/mlq49.html#LermanW03