Implementing the biset category of finite groups — Mohamed Barakat, Marc Talleux, Fabian Zickgraf | Kutubxona