Операционные системы реального времени
Функциональное и логическое программирование