Vasilecas, O. and Būgaitė, D. 2021. Transformacijos teisingumas: ontologijos aksiomų transformacija į formalias taisykles. Lietuvos matematikos rinkinys. 47, spec. (Jun. 2021), 208–214. DOI:https://doi.org/10.15388/LMR.2007.24199.