"Системы и средства информатики: Специальный выпуск. Формальные методы и модели в композиционных инфраструктурах распределённых информационных систем" - читать интересную книгу автора