Недетерминированные автоматы в проектировании систем параллельной обработки. Вашкевич Н.П.