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