J. Gasperovič, “Specification language quality evaluation procedure”, LMR, vol. 44, no. spec., pp. 271–275, Dec. 2004, doi: 10.15388/LMR.2004.31659.