Client Testing Strategy, Thread-Safety Argument, Specifications