GIEDRIMAS, V. Induktyvinis metodas komponentinių programų sintezėje. Lietuvos matematikos rinkinys, v. 46, n. spec., p. 103–106, 21 rugs.2023.