"Varieties of Languages and Frontier Check."

Antonio Cano, Eija Jurvanen (2011)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics