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