Martin Beaudry François Lemieux Denis Thérien Finite Loops Recognize Exactly the Regular Open Languages. 110-120 1997 conf/icalp/1997 ICALP db/conf/icalp/icalp97.html#BeaudryLT97 http://dx.doi.org/10.1007/3-540-63165-8_169