Text this: Математические аспекты автоматического проектирования