Вот тут большое
обсуждение на УльтимаЛямбде.
Там много интересного. Например, как меняется область действия контракта при смене связки И на связку ИЛИ. Несколько мнений, в частности,
мнение, которое Джобс считает наиболее верно отражающим его позицию.
А вот
этот комментарий содержит ссылку сразу на две странички (
первая и
вторая), посвящённые формализации контрактов.
Что меня заинтересовало больше всего. ;)