Kószó Dávid: Weighted Tree Generating Regular Systems over Strong Bimonoids with Reduction Semantics.
  JOURNAL OF AUTOMATA, LANGUAGES AND COMBINATORICS, 27 (4).  pp. 271-307.  ISSN 1430-189X (2022)