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