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