The following pages link to On Validation and Verification Of Decision Support Protocol Subsystems During Implementation-Optimization: Encapsulating P(X):