Gasperovič, Jelena. “Development of Representative Examples to Evaluate Specification Language Functionality Characteristics”. Lietuvos Matematikos Rinkinys, vol. 46, no. spec., Sept. 2023, pp. 97–102, https://doi.org/10.15388/LMR.2006.30585.