Fibrational bisimulations and quantitative reasoning
scientific article; zbMATH DE number 6962938
scientific article