Giedrimas, V.; Lupeikienė, A. Formalisation of the Component Specification. LMR 2004, 44 (spec.), 276–280. https://doi.org/10.15388/LMR.2004.31660.