Title: Методы предикатного программирования
Subjects: Real-time programming, Programming languages (Electronic computers)