Bisimulations and abstraction homomorphisms
See the review of the preliminary version in Lect. Notes Comput. Sci. 185, 223-238 (1985; Zbl 0563.68028).
scientific article; zbMATH DE number 4005593
scientific article