mit.mis@gmail.com Michal Andrzejczak cs-au-dk/dk.brics.automaton