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