@article{jalc070409, author = {Martin Kutrib}, title = {Refining Nondeterminism Below Linear Time}, journal = jalc, year = 2002, volume = 7, number = 4, pages = {533--547} }