"A Context Dependent Equivalence between Processes."

Kim Guldstrand Larsen (1985)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics