Fixed-Point Characterization of Context-Free \infty-Languages

Fixed-Point Characterization of Context-Free \infty-Languages Damian Niwinski 247-276 Information and Control June 1984 61 3 db/journals/iandc/iandc61.html#Niwinski84