RUS, T. 2023. Mecanisme formale pentru specificarea limbajelor (ed. revăzută). Presa Universitară Clujeană.