Antonín Kucera Regularity of Normed PA Processes. 9-17 1999 72 Inf. Process. Lett. 1-2 db/journals/ipl/ipl72.html#Kucera99a http://dx.doi.org/10.1016/S0020-0190(99)00125-8