Stanley Ocken Recognizing Convergent Orbits of Discrete Dynamical Systems. 1134-1160 1995 55 SIAM J. Appl. Math. 4 https://doi.org/10.1137/S0036139993257570 db/journals/siamam/siamam55.html#Ocken95