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