Alberto Bertoni Giancarlo Mauri Nicoletta Sabadini Equivalence and Membership Problems for Regular Trace Languages. 61-71 1982 conf/icalp/1982 ICALP db/conf/icalp/icalp82.html#BertoniMS82 http://dx.doi.org/10.1007/BFb0012757