Symbolic Dynamics, Flower Automata and Infinite Traces. - Wit Forys; Piotr Oprocha; Slawomir Bakalarski (CIAA, 2010)

On path sequences of graphs. - Slawomir Bakalarski; Jakub Zygadlo (CoRR, 2015)