Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, and Marisa Venturini Zilli. "Synchronized regular expressions." _Acta Inf._ 39, no. 1 (2003): 31–70.