http://logic.fmi.uni-sofia.bg/stefanv/
Sofia University Sofia, Bulgaria
Стефан Вътев
Записки по „Езици, автомати и изчислимост"
stefk0