@article{MET_1995__42_3-4_176564,
     author = {Theo K. Dijkstra},
     title = {Pyrrho's {Lemma,} or have it your {Way.}},
     journal = {Metrika},
     pages = {119--126},
     publisher = {mathdoc},
     volume = {42},
     number = {3-4},
     year = {1995},
     zbl = {0820.62063},
     url = {http://geodesic.mathdoc.fr/item/MET_1995__42_3-4_176564/}
}