Vasilecas, Olegas, ir Diana Būgaitė. „Transformacijos teisingumas: ontologijos aksiomų transformacija į formalias taisykles“. Lietuvos matematikos rinkinys 47, no. spec. (birželio 14, 2021): 208–214. žiūrėta lapkričio 2, 2026. https://www.journals.vu.lt/LMR/article/view/24199.