"Omega-Continuous Semirings, Algebraich Systems and Pushdown Automata."

Werner Kuich (1990)
a service of Schloss Dagstuhl - Leibniz Center for Informatics