PETRAȘCU, Vladiela; CHIOREAN, Dan; PETRAȘCU, Dragoș. TECHNIQUES FOR A RIGOROUS DESIGN OF LANGUAGES AND APPLICATIONS. [s.l.] : Presa Universitară Clujeană,2014. Disponível em: https://editura.ubbcluj.ro/index.php/puc/catalog/book/1460. Acesso em: 18 mar. 2026.