Vasilecas, Olegas, ir Diana Būgaitė. 2021. „Transformacijos teisingumas: ontologijos aksiomų transformacija į formalias taisykles“. Lietuvos matematikos rinkinys 47 (spec.): 208–214. https://doi.org/10.15388/LMR.2007.24199.