V. Giedrimas, „Induktyvinis metodas komponentinių programų sintezėje“, LMR, t. 46, nr. spec., p. 103–106, rugs. 2023, doi: 10.15388/LMR.2006.30586.