GASPEROVIČ, J. Reprezentatyvių pavyzdžių specifikavimo kalbų funkcionalumui vertinti konstravimas. Lietuvos matematikos rinkinys, v. 46, n. spec., p. 97–102, 21 rugs.2023.