Text this: Логическое проектирование операционных систем: пер. с англ.