Nourani, C. F., A Functorial Model Theory: Newer Applications to Algebraic Topology, Descriptive Sets, and Computing Categories Topos (Toronto: Apple Academic Press; Boca Raton: CRC Press, 2014), pp. 160–162.
Haan, R. de, Parameterized Complexity in the Polynomial Hierarchy: Extending Parameterized Complexity Theory to Higher Levels of the Hierarchy (Berlin/Heidelberg: Springer, 2019), p. 40.
Leary, C. C., & Kristiansen, L., A Friendly Introduction to Mathematical Logic (Geneseo, NY: Milne Library, 2015), pp. 100–102.