Giedrimas, Vaidas, and Audronė Lupeikienė. 2004. “Komponento Specifikacijos Formalizavimas”. Lietuvos Matematikos Rinkinys 44 (spec.): 276–280. https://doi.org/10.15388/LMR.2004.31660.