Статья про Бокштейна, текущая версия http://positselski.narod.ru/reduction.ps (45 страниц с небольшим). Основная теорема как бы сформулирована, но доказательство почитай что отсутствует.
Не знаю, удастся ли мне когда-нибудь дописать эту статью до полного вида. В нынешних условиях, вопрос примерно эквивалентен "удастся ли мне выздороветь".