Giedrimas, V. and Lupeikienė, A. 2004. Formalisation of the component specification. Lietuvos matematikos rinkinys. 44, spec. (Dec. 2004), 276–280. DOI:https://doi.org/10.15388/LMR.2004.31660.