"Multi-tilde Operators and Their Glushkov Automata."

Pascal Caron, Jean-Marc Champarnaud, Ludovic Mignot (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics