Bisimulation from open maps
scientific article; zbMATH DE number 930737