Graded monads and behavioural equivalence games
scientific article; zbMATH DE number 7954876
scientific article