Gasperovič, J. Specification Language Quality Evaluation Procedure. LMR 2004, 44 (spec.), 271–275. https://doi.org/10.15388/LMR.2004.31659.