J.  Zalewski and Hitzler, P., ?A Case for Extensional Non-Wellfounded Metamodeling?, LPAR 25, vol. 18. EasyChair, Balaclava, Mauritius, p. 163--178, 2024.