Galois Theory of Algorithms (2018) [pdf]