Исчерпывающий анализ этой задачи дан здесь: John Moore, “Implementation, Contracts, and Renegotiation,” in Advances in Economic Theory, vol. 1, ed. Jean-Jacques Laffont (Cambridge: Cambridge University Press, 1992): 184–185 and 190–194.