A. Kucera, “Deciding Regularity in Process Algebras”, BRICS, bd. 2, nr. 52, jun. 1995.