Giedrimas V, Lupeikienė A. Komponento specifikacijos formalizavimas. LMR [Prieiga per internetą]. 2004 m.gruodžio17 d. [žiūrėta 2026 m.vasario1 d.];44(spec.):276–280. Adresas: https://www.journals.vu.lt/LMR/article/view/31660