Vasilecas, Olegas, ir Evaldas Lebedys. „Formalių Kalbų Panaudojimas Verslo Taisyklių Realizacijai informacinėse Sistemose“. Lietuvos Matematikos Rinkinys, t. 45, nr. spec., 2005 m.gruodžio, p. 174–179, https://doi.org/10.15388/LMR.2005.26586.