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