Kostyuk Yu. L. «Effective translation for LL(1)-grammar in the example of a programming language» // Applied Discrete Mathematics 2017. №37 C.90-99
Veretnov Sergey O., Nepomniaschy Valery A., Bodin Evgeniy V. «The analysis and verification of SDL-specifications of distributed systems using Dynamic-REAL Language» // Tomsk State University Journal of Control and Computer Science 2020. №53 C.118-126