Zbigniew S. Kowalski Multiple Returns Under a Bounded Number of Iterations. 139-144 1994 123 Theor. Comput. Sci. 1 db/journals/tcs/tcs123.html#Kowalski94