Luigi Santocanale: Congruences of modal µ-algebras. FICS 2002: 77-81