A hierarchy of probabilistic system types
Preservation and reflection of bisimulation
scientific article; zbMATH DE number 2126094