Algebraic Semantics Construction Protocol for Structured Analytical Execution | Algebraic Semantics Construction | Mathematics | NEROS