Email Record: Математическая теория проектирования вычислительных систем