A theory of contracts for strong service compliance