PETRAȘCU, V. et al. 2014. TECHNIQUES FOR A RIGOROUS DESIGN OF LANGUAGES AND APPLICATIONS. Presa Universitară Clujeană.