RUS, T. Mecanisme Formale Pentru Specificarea Limbajelor (ed. Revăzută); Presa Universitară Clujeană, 2023.