Giedrimas, Vaidas, and Audronė Lupeikienė. 2004. “Formalisation of the Component Specification”. Lietuvos Matematikos Rinkinys 44 (spec.): 276–280. https://doi.org/10.15388/LMR.2004.31660.