Ronny Tredup: Parameterized Complexity of Synthesizing b-Bounded (m, n)-T-Systems. SOFSEM 2020: 223-235