Implementation of Code Properties via Transducers. - Stavros Konstantinidis; Casey Meijer; Nelma Moreira; Rogério Reis (CIAA, 2016)

Symbolic Manipulation of Code Properties. - Stavros Konstantinidis; Casey Meijer; Nelma Moreira; Rogério Reis (J. Autom. Lang. Comb., 2018)