Towards Automated Derivation in the Theory of Allegories door Joel Glanfield