Ludovic Renou and Guillaume Carlier, (2003) ''Existence and monotonicity of optimal debt contracts in costly state verification models'', Economics Bulletin, Vol. 7 no.5 pp. 1-9