Antonín Kucera: Regularity is Decidable for Normed BPA and Normed BPP Processes in Polynomial Time. SOFSEM 1996: 377-392