> -- Rifat писал(а):
> Данную цитату, как мне кажется, можно считать определением лексикона программирования, в том смысле, как его понимал А.П. Ершов (цитата взята из книги "Практические методы верификации программ")
А в этой книге примеры есть на данную тему? Сложно усваиваю теорию без примеров. Начал читать Эрика Эванса по DDD, вроде как перекликается в чём-то. Может быть там примеры найду, если тут не окажется