Учебники и пособия для вузовТеория вероятностей. Системы случайных величин. Функции случайных величинЕ. Л. Веретельникова
Учебники и пособия для вузовТеоретическая информатика. Теория сетей Петри и моделирование системЕ. Л. Веретельникова
Учебники и пособия для вузовТеоретическая информатика. Доказательство правильностиЕ. Л. Веретельникова