Giedrimas, Vaidas, ir Audronė Lupeikienė. 2004. „Komponento specifikacijos formalizavimas“. Lietuvos matematikos rinkinys 44 (spec.): 276–280. https://doi.org/10.15388/LMR.2004.31660.