David Janin: Walking Automata in Free Inverse Monoids. SOFSEM 2016: 314-328