Text this: Типизация и автоматизация программирования гибких производственных систем: сборник научных трудов