Return to Article Details The construction of a T-system formal model and the proof of its correctness Download Download PDF