V. Giedrimas ir A. Lupeikienė, „Komponento specifikacijos formalizavimas“, LMR, t. 44, nr. spec., p. 276–280, gruodž. 2004, doi: 10.15388/LMR.2004.31660.