Спасибо, очень интересно. Постараюсь посмотреть две последние ссылки. (Постараюсь, потому что всё же плавание в море отнимает немало времени, а остальное я трачу на подготовку текстов курсов — у нас учебники не в ходу, вместо этого полагается выкладывать на сайте свой курс, который, естественно, каждый год как-то перерабатывается, хотя никто не заставляет). Вот с анализом почти разделался, теперь очередь теории графов и краткого курса конечных автоматов.