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