V. Giedrimas and A. Lupeikienė, “Formalisation of the component specification”, LMR, vol. 44, no. spec., pp. 276–280, Dec. 2004, doi: 10.15388/LMR.2004.31660.