Semitopological Semirings and Pushdown Automata. - W. Herfort; Werner Kuich (Math. Syst. Theory, 1984)

A New Notion of Reduction: General Universal Gröbner Basis for K[x, y]. - W. Herfort; H. Penz (J. Symb. Comput., 1991)