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.