"Equivalence and Membership Problems for Regular Trace Languages."

Alberto Bertoni, Giancarlo Mauri, Nicoletta Sabadini (1982)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics