Спасибо. По примерам я слегка пробежался и пока сложилось впечатление, что во-первых, доп. описание тамошнего языка не будет лишним, а во-вторых - переложение схемных решений на мат.модель там отсутствует (ну, на первый взгляд). Так что, если кто что добавит - низкий поклон ему.