Beatrice Amrhein Oliver Gloor Wolfgang Küchlin On the Walk. 179-202 1997 187 Theor. Comput. Sci. 1-2 db/journals/tcs/tcs187.html#AmrheinGK97 http://dx.doi.org/10.1016/S0304-3975(97)00064-9