PETRAȘCU, V., CHIOREAN, D. and PETRAȘCU, D. (2014) TECHNIQUES FOR A RIGOROUS DESIGN OF LANGUAGES AND APPLICATIONS. Presa Universitară Clujeană. Available at: https://editura.ubbcluj.ro/index.php/puc/catalog/book/1460 (Accessed: 16 March 2026).