Reduction-Based Design Implementation Protocol | Reduction-Based Design | Mathematics | NEROS