An Algorithmic Companion - Murray R. Bremner; Vladimir Dotsenko (Taylor and Francis, 2016)