Algebraic operads : an algorithmic companion - Bremner, Murray R. (CRC, 2016)