kupidonia.ru
Запись отчасти формализованным языком с включениями языка программирования и математическими обозначениями
