Lethen, T. Computational Theology: A Metaobject-Based Implementation of Models of Generalised Trinitarian Logic. TheoLogica 2022, 6, 136-161.