PETRAȘCU, Vladiela, Dan CHIOREAN, and Dragoș PETRAȘCU. 2014. TECHNIQUES FOR A RIGOROUS DESIGN OF LANGUAGES AND APPLICATIONS. Presa Universitară Clujeană. https://editura.ubbcluj.ro/index.php/puc/catalog/book/1460.