"A Logical Viewpoint on Process-Algebraic Quotients."

Antonín Kucera, Javier Esparza (1999)
a service of Schloss Dagstuhl - Leibniz Center for Informatics