Работа за компьютерами с оболочкой, способной взять на себя заботы об управлении объектами программного обеспечения, закладывает основу самой современной на сегодня методики программирования. В настоящее время с объектами работают сотни прикладных программ таких, как Windows, AutoCAD, Designer и многих других. С другой стороны инструментальные системы программирования Small Talk, Actor, ..., C++, C?, Java и ряд других требуют от программиста систематических рассуждений в терминах объ- ектов и связей между ними, которые в свою очередь могут рассматриваться как объекты. Программирование в терминах объектов требует создания и поддержания собственной математической культуры, дающей весь спектр стимулирующих идей (см. [10], а также раздел Круг вопросов в [8], с.9- 39). Программист при решении вполне конкретной задачи становится исследователем, от которого требуется создание собственного языка со своими возможностями. Эти возможности не всегда интуитивно очевидны, и могут потребоваться чисто математические оценки их выразительных возможностей. Кроме того, часто требуется не просто написать некоторый программный код, но и выполнить его оптимизацию, не теряя свойства эквивалентности исходному коду. Все это требует для аккуратного и профессионального проведения работы своей собственной “математической оболочки”, в которой поддерживаются все значимые и интересные математические приложения.