VASILECAS, O.; BŪGAITĖ, D. Transformacijos teisingumas: ontologijos aksiomų transformacija į formalias taisykles. Lietuvos matematikos rinkinys, v. 47, n. spec., p. 208–214, 14 birž.2021.