Здравствуйте, chukichuki, Вы писали:

C>Кто-нибудь сталкивался с этим ? Хотелось бы побольше ссылок на хорошие (и желательно электронные) книги по заданной теме на русском или английском языке.+
Отлично. Заодно может кто-нибудь объяснит мне такие слова:

Сложность адекватной (непротиворечивой и полной) формализации объектной теории порождает трудности тестирования и верификации созданного программного обеспечения. Вероятно, это обстоятельство является одним из самых существенных недостатков объектно-ориентированного подхода к программированию.

А в функциональных языках что-же, все прекрасно? Чем на практике оборачивается данное утверждение?

С уважением, Gleb.
ЗЫ Посмотри лекции здесь

Автор: GlebZ
Дата: 04.10.05

. Обрати внимание на лекции 4 и 5. Это что касается аксиоматической семантике ЯП на примере SML. Возможно это то, что тебе надо.