Voevodsky's work on B-systems, transferred from his github account - View it on GitHub