I have published a new paper

the first half of which contains many basic results about C-systems with detailed proofs.

Vladimir.