T. Lethen, “Computational Theology: A Metaobject-Based Implementation of Models of Generalised Trinitarian Logic”, TheoLogica, vol. 6, no. 2, pp. 136–161, Dec. 2022.