Bisimulation indexes and their applications
scientific article; zbMATH DE number 1774095
scientific article