Д. В. Исакевич - Язык соединений и превращений для формальной эвологии - Опыт использования Рефала-5