"A Parametric Abstract Domain for Lattice-Valued Regular Expressions."

Jan Midtgaard, Flemming Nielson, Hanne Riis Nielson (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics