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