1. Andréka, H., Madaraśz, J., & Németi, I. (2008). Defining New Universes in Many-Sorted Logic (p. 93). Budapest: Mathematical Institute of the Hungarian Academy of Sciences.
2. Andréka, H., Madarász, J. X., & Németi, I. (2005). Mutual definability does not imply definitional equivalence, a simple example. Mathematical Logic Quarterly, 51(6), 591–597.
3. Baez, J., Bartels, T., Dolan, J., & Corfield, D. (2006). Property, structure and stuff. Available at http://math.ucr.edu/home/baez/qg-spring2004/discussion.html.
4. Baez, J., & Shulman, M. (2010). Lectures on n-categories and cohomology. In J. Baez & P. May (Eds.), Towards Higher Categories. New York: Springer.
5. Barrett, T. (2019). Structure and equivalence. Forthcoming in Philosophy of Science.