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