Теория и технология программирования. Основы построения трансляторов
Теория автоматов
Model Checking. Верификация параллельных и распределенных программных систем