Введение в теорию программирования. Объектно-ориентированный подход