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