Jelena Gasperovic Albertas Caplinskas Methodology to Evaluate the Functionality of Specification Languages. 325-346 2006 17 Informatica, Lith. Acad. Sci. 3 http://www.vtex.lt/Informatica/htm/INFO649.htm db/journals/informaticaLT/informaticaLT17.html#GasperovicC06