"Equations between Regular Terms and an Application to Process Logic"

Ashok K. Chandra et al. (1981)
a service of Schloss Dagstuhl - Leibniz Center for Informatics