Е. Ишакова. Теория вычислительных процессов. М.:БИБКОМ, 2007