Giedrimas, V. 2023. Induction in component-based software synthesis. Lietuvos matematikos rinkinys. 46, spec. (Sep. 2023), 103–106. DOI:https://doi.org/10.15388/LMR.2006.30586.