Contextual refinement For all applications High-Level /stem Call Abstract sy Primitive U St LOW-Level Concrete Kernel ImpL.Low-Level Concrete Kernel Impl. Contextual Refinement  … For all applications High-Level Abstract Primitive